Stars
Turso is an in-process SQL database, compatible with SQLite.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Skills for Real Engineers. Straight from my .claude directory.
Distributed, multi-tenant key-value and object store in Rust, with Raft consensus, WAL durability, and production-oriented operations.
Secure and fast microVMs for serverless computing.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
An interactive replacer for ripgrep that makes it easy to find and replace across files on the command line.
Harness the power of Rust. Those fast productivity tools based on Rust.
An Open Source Machine Learning Framework for Everyone
A refreshingly simple data-driven game engine built in Rust
Packet, where are you? -- eBPF-based Linux kernel networking debugger
Platform for hosting and sharing terminal session recordings
Web player for terminal session recordings and streams
Terminal session recorder, streamer and player 📹
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Extensible auto-tagger for your IaC files. The ultimate way to link entities in the cloud back to the codified resource which created it.
A Kubernetes controller for Elastic Load Balancers