A high-performance CLI tool for inspecting and merging SQLite databases
Agent-first issue tracker (SQLite + JSONL)
Fast embedded vector database with HNSW + ACORN-1 filtered search
C FFI bindings for OmenDB vector database
Persistent PTY terminal session manager exposed as an MCP server and web UI, backed by SQLite history
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
A highly parallel Perl 5 interpreter written in Rust
AI/Human task management system with file-based storage
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Unified TUI search over local coding agent histories
Pure-Rust Intel Indeo video codec family (Indeo 2 / 3 / 4 / 5) for the oxideav framework
A Rust wrapper for Facebook's RocksDB embeddable database.
With merge db you can easily merge your databases and save all associations
It is a git merge driver for db/schema.rb of Ruby on Rails. It resolves some of the conflict automatically.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.