Starred repositories
The book documenting the curl project, the curl tool, libcurl and more. Simply put: everything curl.
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
"DeepTutor: AI-Powered Personalized Learning Assistant"
JSON formatter that produces highly readable but fairly compact output.
A PowerShell script to download Windows or UEFI Shell ISOs
A visual no-code theme editor for shadcn/ui components
The KROZ series (of text-mode arcade adventures for DOS) by Scott Miller
A high-performance asymmetric lossless compression library optimized for Content Delivery. Decodes 40% faster than LZ4 on ARM64.
Implementations of SIMD instruction sets for systems which don't natively support them.
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
A cross-platform GUI library for Rust, inspired by Elm
Text editor for your terminal: easy, powerful and fast
From Zero to QED: An informal introduction to formality with Lean 4
A high-performance document search engine built in Rust with WebAssembly support.
Flutter library that handles BLE operations for multiple devices.
The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
Functions and proofs about game trees in Rocq, implemented as rose trees.
A toolkit for building secure, portable and lean operating systems for containers
Nix - Static, Permissionless, Installation-free, Pre-configured