πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: basis Β· clear

lightning / bolts

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

β˜… 2.3k Markdown 1d ago
wiresock / proxifyre

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

β˜… 1.6k C++ 6d ago
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.

β˜… 995 Rust today
BasisVR / Basis

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

β˜… 522 C# 1d ago
chyinan / OpenJOC

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

β˜… 246 Rust 2d ago
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.

β˜… 82 TypeScript 2mo ago
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.

β˜… 78 Python 1d ago
s-smits / anabasis

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

β˜… 64 TypeScript today
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

β˜… 50 Lean 15d ago
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.

β˜… 49 CSS 2mo ago
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.