Omega 2.0, the next evolution of Epsilon! Now available for your Numworks calculator!

Quite Obfuscated Constructions

An gameboy emulator

Lean 4 programming language and theorem prover

A video player on Casio FX Calculators

Syntax highlighting and Coq interactivity for Sublime Text 3

A Library for Representing Recursive and Impure Programs in Coq

High quality system independent, portable, open source libm implementation

Calculator applications

blingful character graphics/TUI library. definitely not curses.

i3-compatible Wayland compositor

Public repository for our llvm experiences

A python tool to visualize the game of Go from Katago's perspective.