Stars
🧟 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 skills for designing and reviewing software with AI 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.
📖 A Comprehensive Survey of Self-Evolving AI Agents: A New Paradigm Bridging Foundation Models and Lifelong Agentic Systems
Review code 100x faster. Lens draws every PR as animated architecture and data-flow walkthroughs, inside the pull request itself. Use it as a GitHub App, GitHub Action, CLI, or a Skill for your cod…
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Agent harness for learning difficult things.