Stars
Pi agent hook for rewinding file changes during coding sessions
A local-first, agent-first LaTeX writing app for macOS: live PDF, annotations, papers and Overleaf sync
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
Scylla, a tool for translating ultra-regular C code to Safe Rust
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
🦍 Memorilla: Latent Semantic Memory for LLMs
🧟 Inject bugs and see if your tests catch them!
🦞 ResearchClawBench: Evaluating AI Agents for Automated Research from Re-Discovery to New-Discovery
An agent runtime and tool protocol for principled agent concurrency
A static verifier for Rust, based on the Viper verification infrastructure.
Analyze Rust crates without touching compiler internals
Complete logs of the experiments in the blog post 'LLMs can understand and write neural network weights'
Self-hosted AI agent runtime — personal assistants, autonomous workers, and everything in between. Built on the Claude Agent SDK.
The Moss Keeper — a one-file HTML anime short made with Fable 5.5
An NES CPU compiled into the weights of a stock Qwen3.5 model
A computer, compiled into the weights of a language model. An exact CPU inside Qwen3.5-4B, with Gated DeltaNet state as RAM.
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
youknowone / pyre
Forked from pyre-lang/pyrePyRe will be a very fast and compliant implementation of the Python language.
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Open-source plugin for designing and reviewing software with agents
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
The missing integration layer for AI agents. Let them call any OpenAPI / MCP / GraphQL / custom js functions in secure environment.
IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.