Swift Macro for memberwise initializers at any access level, with default values and compile-time safety.
- swift-macros
- swift
- swift-syntax
- swift-package-manager
Repository Index
47,133 repositories indexed
49–72 of 91 · Most stars
A Hub/research area, for jailbreaking LLM's, and breaking their safety filters.
Runtime defense against memory poisoning in AI agents (OWASP ASI06). Drop-in for LangChain, OpenAI Agents, AutoGen, CrewAI and mem0.
mutual layer for multiple agents from different environment or providers to work on same interface or device, toward the same final goal
- agent-supervision
- ai-agents
- ai-safety
- claude-code
Open Autonomous Safety
FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
- fsharp
- functional-programming
- generic-programming
- environment-variables
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
- type-safety
- units-of-measure
- unit-conversion
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses | 500+ Papers | Perception, Cognition, Planning, Interaction, Agentic System
- adversarial-attacks
- ai-safety
- autonomous-driving
- backdoor-attacks
Safe Bayesian Optimization
- gaussian-processes
- optimization
- robotics
- reinforcement-learning
VK², Kotlin Wrapper for Vulkan: code expressiveness and safety meet graphic power
- vulkan
- vulkan-library
- vulkan-utils
- vulkan-sdk
Born is a modern ML framework for Go — train and deploy models as single binaries. Pure Go, zero CGO, GPU accelerated.
- autodiff
- automatic-differentiation
- cross-platform
- deep-learning
Generate PyAnnotate annotations from your pytest tests.
- python
- mypy
- type-safety
- tools
eBPF Information Flow Enforcement for AI Agent safety, security and effectiveness
- ebpf
- harness
- ifc
- policy-engine
The repository host gives no description.
A probably paranoid Golang utility library for securely hashing and encrypting passwords based on the Dropbox method. This implementation uses Blake2b, Scrypt and XSalsa20-Poly1305 (via NaCl SecretBox) to create secure password hashes that are also encrypted using a master passphrase.
- golang
- golang-library
- scrypt
- password-hash
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
- cpp
- cpp20
- cpp23
- enum
🍜 Parametrized JSON logging library in Golang which lets you obfuscate sensitive data and marshal any kind of content.
- golang-library
- golang
- golang-tool
- logging-library
🕛 Zero-overhead Fennel JIT compiler at runtime of Neovim with safety rollbacks
- fennel
- neovim
- nvim
- nvim-plugin
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
- safety
- scenario
Runtime guardrails for Claude Code. Auto-approve what's safe, gate what's risky, block what's dangerous. Dual enforcement, full audit trail. MIT.