nerdsane/temper
A machine tool for agents: a verified runtime for systems agents build.
observability-data@datadoghhq | minimalist { leader | engineer | athlete | artist }
Repositories
nerdsane/bloodhound
Deterministic simulation testing platform for hunting bugs in distributed systems
nerdsane/redis-rust
Redis-compatible in-memory data store in Rust. Actor-per-shard architecture, CRDT replication, deterministic simulation testing, 4-layer verification.
nerdsane/kelpie
Distributed virtual actor system with linearizability guarantees for AI agent orchestration
nerdsane/katagami
型紙 Design Language Commons — versioned, agent-maintained library of complete design languages
nerdsane/qemu
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
nerdsane/gvisor-dst
gVisor fork with Deterministic Simulation Testing (DST) support for Bloodhound
nerdsane/hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
nerdsane/reverie
An ergonomic and safe syscall interception framework for Linux.
nerdsane/verified-concurrent
Correctness-by-construction verification cascade. Code is disposable - specs, invariants, and state machines are the intent.
nerdsane/letta
Letta is the platform for building stateful agents: open AI with advanced memory that can learn and self-improve over time.
nerdsane/letta-code
The memory-first coding agent
nerdsane/langgraph-coscientist
nerdsane/openevolve
Open-source implementation of AlphaEvolve