Range library for C++14/17/20, basis for C++20's std::ranges
Basis Universal GPU Texture Codec
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
ProxiFyre: A Windows SOCKS5 proxifier leveraging NDISAPI to transparently route TCP and UDP traffic on a per-app basis.
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code β at unprecedented speed.
Loaders for big data visualization. Website:
Basis is an open-source social framework for VR and Desktop usage.
Independent clean-room E-AC-3 JOC decoder in Rust, with OAMD metadata and reconstruction-basis decoding.
Layanan Open REST API & Data Geospasial Boundaries (GeoJSON, Logo MinIO Storage) Wilayah Administrasi Indonesia (Provinsi, Kab/Kota, Kecamatan, Kelurahan/Desa) berbasis NestJS, PostgreSQL & Docker.
Privacy-first, self-hosted crypto accounting app with zero cloud data sharing. Aggregates exchange, wallet and multi-chain history, calculates FIFO/LIFO/HIFO cost basis, realized/unrealized PnL and capital gains, tracks staking/airdrop income, and exports tax-ready CSV/PDF/JSON reports. Encrypted SQLite. Python, cross-platform.
Anabasis: automatically solve hard-to-verify, domain-specific problems from one prompt.
BasCAT 2026: Interactive Computer Architecture Trainer for Students and Educators
Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary β zero sorries, zero axioms
SBB Desktop Client auf Basis der API der SBB-Mobile-App β Verbindungen suchen, FahrplΓ€ne anzeigen und SBB-Dienste bequem auf dem Desktop nutzen.
Digitaal Autonome Werkomgeving Overheid (DAWO) streeft naar een digitaal autonome en interoperabele basis voor overheidswerkplekken. De repository MinBZK/DAWO-NixOS bevat de code om werkplekken automatisch en identiek op te bouwen via het Linux-besturingssysteem NixOS.