Lists (3)
Stars
LLM Frontend for Power Users.
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
ZapFast: a fast, native WhatsApp client in Rust and egui
High performance, self-hosted, newsletter and mailing list manager with a modern dashboard. Single binary app.
Skills for Real Engineers. Straight from my .agents directory.
My take on a CRT Shader for Godot
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Easy web analytics. No tracking of personal data.
A pure Ruby code highlighter that is compatible with Pygments
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
Debloated fork of the extension "I don't care about cookies"
Fork of Plan 9 meant for education. https://principia-softwarica.org/
Rinha de Backend - Quarta Edição: Detecção de Fraude com Busca Vetorial
LLM evaluation framework for Elixir: evaluate and test LLM outputs, detect hallucinations, measure response quality
Open source Loom alternative. Beautiful, shareable screen recordings.
Quickly rewrite git repository history (filter-branch replacement)
My personal Obsidian vault template. A bottom-up approach to note-taking and organizing things I am interested in.
Empryo's engine, v2 (soulforge) and issue tracker!! Empryo is the graph-powered AI coding agent that edits symbols, not strings: AST surgery, full LSP, a live code genome. Get it at https://empryo.com
FineTune, a macOS menu bar app for per-app volume control, multi-device output, audio routing, and 10-band EQ. Free and open-source alternative to SoundSource.
Computing-focused community centered around link aggregation and discussion
The Missing Semester of Your CS Education 📚