Stars
Easily spawn AI coding agents in a Linux container using MacOS's native Virtualization Framework
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
A compact, optimizing WebAssembly 3.0 JIT, from desktop to microcontroller
Formal verification framework for threshold-based distributed protocols
An experimental Zig Soroban SDK Library.
Bring receipts from your Claude Code sessions
A pure Rust implementation of Stellar Core
💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…
🎮🏭 AI plays the game Factorio with CV & LLM combined. Powered by YOLO / LLM.
Research Artifact for "Deterministic Client: Enforcing Determinism on Untrusted Machine Code"
A symbolic execution engine for EVM smart contract binaries.
Train your AI self, amplify you, bridge the world
The 2013 edition of the Source SDK
x86 PC emulator and x86-to-wasm JIT, running in the browser
🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Novel implementation of a Trie data structure optimized for small, sparse maps
Marrying Rust and CMake - Easy Rust and C/C++ Integration!
Library for implementing an mmap API in a kernel or runtime
Type in Morse code by repeatedly slamming your laptop shut
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.