pyenv / pyenv

Simple Python version management

chyinan / OpenJOC

Independent clean-room E-AC-3 JOC decoder in Rust, with OAMD metadata and reconstruction-basis decoding.

ericniebler / range-v3

Range library for C++14/17/20, basis for C++20's std::ranges

wiresock / proxifyre

ProxiFyre: A Windows SOCKS5 proxifier leveraging NDISAPI to transparently route TCP and UDP traffic on a per-app basis.

BasisVR / Basis

Basis is an open-source social framework for VR and Desktop usage.

s-smits / anabasis

Anabasis: automatically solve hard-to-verify, domain-specific problems from one prompt.

BasisResearch / ship-your-interpreter

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

lightning / bolts

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

symbolica-dev / symbolica

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.

visgl / loaders.gl

Loaders for big data visualization. Website:

edopandoyo / wilayah-indonesia-api

Layanan Open REST API & Data Geospasial Boundaries (GeoJSON, Logo MinIO Storage) Wilayah Administrasi Indonesia (Provinsi, Kab/Kota, Kecamatan, Kelurahan/Desa) berbasis NestJS, PostgreSQL & Docker.

Gemma41 / Onchain-Accounting

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.

Stop85 / Basis-Level-Explorer

BasCAT 2026: Interactive Computer Architecture Trainer for Students and Educators

SBB-Desktop / SBB-Desktop

SBB Desktop Client auf Basis der API der SBB-Mobile-App – Verbindungen suchen, Fahrpläne anzeigen und SBB-Dienste bequem auf dem Desktop nutzen.

DAWO-community / DAWO-Core

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.

BinomialLLC / basis_universal

Basis Universal GPU Texture Codec