The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

A 277 KB no_std WebAssembly JIT engine that goes head-to-head with V8 and Wasmtime.

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"

LFI verifier.

Half-Life 1 engine based games

A symbolic execution engine for EVM smart contract binaries.

Train your AI self, amplify you, bridge the world

Never fight the borrow checker again!

The 2013 edition of the Source SDK

A optimal client for PoW blockchains

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

WebAssembly interpreter in C

Type in Morse code by repeatedly slamming your laptop shut

GWPSan: Sampling-Based Sanitizer Framework

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.

The schelling point for ZK applications.

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing