Stars
Private AI coding agents. No rate limits. ~$1.50/hr.
CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.
Lean 4 programming language and theorem prover
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix
A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations
Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
Operating system and container binary deployment and upgrades
CLI for SQLite Databases with auto-completion and syntax highlighting
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
High performance S3 compatible object storage focused on speed and simplicity and designed to be an open alternative to MinIO and RustFS.
OpenTUI is a library for building terminal user interfaces (TUIs)
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
An implementation of the JSON Schema specification for Python
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
Solidity, the Smart Contract Programming Language
A terminal spreadsheet multitool for discovering and arranging data
DuckDB is an analytical in-process SQL database management system
The user-friendly command line shell.
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!