Lists (8)
Starred repositories
📱 🐍 A collection of recipes for p4a (Python for Android).
✍ 🗣 A Text-To-Conversation natural language processing toolkit [WIP].
A VS Code syntax extension for embedded language highlighting in YAML
SCUDA is a GPU over IP bridge allowing GPUs on remote machines to be attached to CPU-only machines.
CFL-based approximation methods for interleaved Dyck reachability using the GLL-based algorithm
Abstractions from Category theory with simple description & implementation, links to further resources.
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.
A tiny, dependency-free computer vision library in C for embedded systems, drones, and robotics.
🛜 100+ offline-first networking tools and utilities
A template for blueprint-driven formalization projects in Lean.
My articles which I don't want to store on telegra.ph, cause its kinda shitty.
10
Updated May 13, 2026
Cross-platform Rust rewrite of the GNU coreutils
An experiment in scalable routing as an encrypted IPv6 overlay network
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.
A file-based mirror of the nLab wiki (HTML format).
A collection of tools for writing technical documents that mix Coq code and prose.
Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
An open-source registry for VS Code extensions