Stars
A self-evolving agentic OS. A new architecture for agent execution, built on operating-system principles, with the harness as a path toward superintelligence.
let your agent control your phone
programmatic video rendering framework that is actually fast
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
a zero-knowledge proof-carrying code protocol for Lean 4
Autolith is a self-modifiable general purpose Lisp AI agent
i took one of our h200 nodes, star this repo and its yours 😉
Nock Assembly, a macro over pure Nock for pedagogical purposes.
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
🌊 Continuously synchronize the systems where your data lives, to the systems where you _want_ it to live, by managing your data flows with Estuary. 🌊
Async (and blocking!) Rust bindings for the Stripe API
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
🪩 Mirror git refs from a source remote to a target remote without a local checkout. Packfiles stream directly over Smart HTTP and an in-memory object store.
Examples for using Rust on the N64
Autonomous experiment loop extension for pi
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
Property-based testing for Rust, built on Hypothesis
Arena based tree 🌲 structure by using indices instead of reference counted pointers
Lucien is a refined application launcher tailored for Linux users who demand a premium experience.
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
A distributed work-item database for agent swarms, using git as the sync layer