Lists (1)
Starred repositories
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
CoCalc: Collaborative Calculation in the Cloud
A lightweight yet powerful audio-to-MIDI converter with pitch bend detection