Lists (1)
Starred repositories
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-K2.6, GLM-5.1, 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
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.