📈 GH Trending Explorer Updated 2026-11-03 09:42 UTC 🎲 Surprise me

Search: editions · AI hidden · clear

anthropics / buffa

Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views

▲ ~6/7d ★ 932 Rust 8d ago
Fleex255 / PolicyPlus

Local Group Policy Editor plus more, for all Windows editions

▲ ~4/7d ★ 1.9k Visual Basic .NET 1mo ago
ajt60gaibb / OpenProblemsInNLA

A collection of precisely stated open problems in numerical linear algebra, with references, difficulty and importance ratings, and Markdown, LaTeX and PDF editions.

▲ ~3/7d ★ 81 Lean 1d ago
source-academy / sicp

XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions

▲ ~2/7d ★ 1.0k JavaScript 2d ago
stormj-UH / spivak-lean

Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions

▲ ~0/7d ★ 45 Lean 1mo ago
MillipedeKey70 / CCleaner-Professional-Plus-2026

CCleaner Professional Plus is the full cleaner above Professional, with Business and Technician editions next to it. A preactivated setup and Driver Updater cover one PC after a normal cleanup pass on the desktop before the next boot today