An Extensible Compiler IR Framework

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

Command-line tool for visualizing Git activity

The open source coding agent.

AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models

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.

The Flix Programming Language

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, Aider, 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.

Go implementation of FOKS -- client and server

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

Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.

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

mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.

Distributed, offline-first bug tracker embedded in git

Rostra is a p2p (f2f) social network.

A terminal OpenTelemetry viewer inspired by otel-desktop-viewer

A Rust macro to determine if a type implements a logical trait expression