Lists (8)
Starred repositories
Experimental Hypervisor Purpose-Built for Deterministic Software Testing
A Rust framework for correct and performant distributed systems
Foqos allows you to lock apps behind the tap of a NFC tag or scan of a QR code. Free and open source alternative to Brick, Opal, ScreenZen, Unpluq, Scrolly, Blok and more!
AFL++ is a state-of-the-art fuzzer, and #1 in benchmarks. It was originally based on AFL. Today it comes with qemu 5.1, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power sched…
Embeddable, replicated and fault-tolerant SQL engine.
HydraDB - fast graph database on object storage
Effortlessly compose, extend, observe, discover, and react to every service in real-time for the first time ever.
Build Real-Time Knowledge Graphs for AI Agents
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
Garry's Opinionated OpenClaw/Hermes Agent Brain
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Desktop app to manage markdown knowledge bases
The ultimate LLM/AI application development framework in Go.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
💫 Toolkit to help you get started with SDD or any other process!
The ACP implementation for Claude Code
A protocol for connecting any editor to any agent
aider is AI pair programming in your terminal
The Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents and apps. Context that persists. Built for production.