Stars
A free and open-source toolkit for running other people's code in your applications.
An ergonomic and safe syscall interception framework for Linux.
Interactive playground for exploring and sharing TLA+ specifications in the browser.
The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.
A collection of high-performance containers and utilities providing both asynchronous and synchronous interfaces
An transformer based LLM. Written completely in Rust
Command-line sampling profiler for macOS, Linux, and Windows
Turso is an in-process SQL database, compatible with SQLite.
A curated list of awesome deterministic simulation testing resources 😎
An open-source framework for making universal native apps with React. Expo runs on Android, iOS, and the web.
A framework for building compiled Node.js add-ons in Rust via Node-API
A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).
A reverse engineering of Linear's sync engine. Endorsed by its co-founder & CTO.
LiveStore is a next-generation state management framework based on reactive SQLite and built-in sync engine.
Compiler for the B Programming Language implemented in Crust
5G Network Functions Implementation in Rust (3GPP Release 17)
🎨 Turn your roughest sketches into stunning 3D worlds by vibe drawing
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Reference: Sooman Jeong, Kisung Lee, Jungwoo Hwang, Seongjin Lee, Youjip Won, "AndroStep: Android Storage Performance Analysis Tool", The 1st European Workshop on Mobile Engineering (ME'13), Feb. 2…
Query is an all-in-one web development solution eliminating the need for external servers, runtimes, frameworks, caching, storage, and admin tools.
A Turso/LibSQL database driver for Laravel application