Stars
HelixDB is an open-source graph-vector database built from scratch in Rust.
A rust implementation of Bubbletea https://github.com/charmbracelet/bubbletea
DWeb Backend for the Save app based on Veilid and Iroh
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.
Multilingual Document Layout Parsing in a Single Vision-Language Model
A native Rust UI library with fine-grained reactivity
ANISE provides a toolkit and files for Attitude, Navigation, Instrument, Spacecraft, and Ephemeris data. It's a modern replacement of the NAIF SPICE toolkit.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.
A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background agents, and more.
A CLI/TUI orchestration tool for adversarial pair coding with AI agents
A new Hardware Design Language that keeps you in the driver's seat
AST-powered semantic code editing MCP server that weaves together code transformations at precise syntactic splice points
Dialog is an embeddable database designed for local-first software.
Super-fast Merklized Embedded Key-Value Store for blockchain nodes
Distributed, offline-first bug tracker embedded in git
A terminal OpenTelemetry viewer inspired by otel-desktop-viewer
A Rust macro to determine if a type implements a logical trait expression
madsim-inspired determinism for turmoil-based simulation tests