Lists (1)
Starred repositories
Surypus ERP/CRM - Haskell implementation with formal verification, type-safe database, and event sourcing
The world’s fastest framework for building websites.
Multi-site Kubernetes homelab with BGP anycast (AS214304), Cilium CNI, and GitOps. 14 nodes across 4 countries.
A local-first, peer-to-peer web browser for a surveillance-free internet.
Connect to Plan 9 CPU servers from other operating systems.
LXMF client for Android, Linux and macOS allowing you to communicate with people or LXMF-compatible systems over Reticulum networks using LoRa, Packet Radio, WiFi, I2P, or anything else Reticulum s…
Haskell bindings for the Souffle datalog language
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Get up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
mail gateway between the Retroshare message network and the SMTP network
libbpg (copy of the source code for easy access)
CRT simulation without shaders... the slow way
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Aidan Bench attempts to measure <big_model_smell> in LLMs.
LisanBench is a lightweight benchmark for LLMs that stresses forward planning, vocabulary depth, constraint adherence, attention, and long-context "stamina" all at once.
OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Application delivery for Common Lisp
A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv
Upspin: A framework for naming everyone's everything.
MiSTer FPGA Documentation site built using Material for MkDocs.
Run Windows apps on 🐧 Linux with ✨ seamless integration
Complete, independent operating system built by humans.
OS/32 8.1 kit for the SimH Interdata 32 simulator