Lists (1)
Starred repositories
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
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…
OS/32 8.1 kit for the SimH Interdata 32 simulator
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
A running-jumping-swordfighting game I made on the Apple II from 1985-89
Magenta RealTime: An Open-Weights Live Music Model