Stars
Open source, cloud native, Postgres platform with copy-on-write branching and scale-to-zero
Open Drex decision models: runtime, docs and model pages
Command-line sampling profiler for macOS, Linux, and Windows
Graph engineering for AI agents: the 9-stage knowledge-graph pipeline (translated from SEU's graduate course) + task-graph orchestration patterns, as a Claude skill with teaching mode and paste-rea…
Learn harness engineering by building Claude Code from scratch. Free, open-source course: 8 articles, 6 videos, 1 codebase.
The open-source model suite for robotics data engine by NVIDIA GEAR
A lightweight, scaleable rigid-body physics solver
A batteries-included framework for building web apps
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
Emergence World: A world designed to reveal what no benchmark can: emergent intelligence.
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
A verification toolchain for Rust programs
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.