Stars
Mutation testing library for Elixir, Erlang, and other languages.
HelixDB is an OLTP graph-vector database built in Rust.
ExESDB is a reincarnation of rabbitmq/khepri, specialized to use khepri as a BEAM-native Event Store
Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.
A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.
Self-hosted browser session replay built on S2 with live tailing
AI agent firewall that intercepts tool calls (file, shell, network) and enforces deterministic policies at sub-microsecond latency using CEL, IFC, secret scanning, and audit logging.
Pytest-first acceptance testing for agent capabilities
Governed Model Gateway & Agentic Recording/Debugging Platform
The open-source app everyone uses to manage agents at work
Chiasmus is an MCP server that gives language models access to formal verification
Context-Generic Programming: modular programming paradigm for Rust
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
Cross-machine AI agent communication, plus a mobile app to control any terminal on your machine.
secrets-protecting agent router and model gateway focused on security and convenience as primary goals
An LLM-as-a-judge HTTP proxy to secure agents in production
Simple curl wrapper that converts HTML pages to sanitized markdown for agent consumption while filtering secrets from requests.