https://github.com/tominated/system_f_omega

My Attempt at System Fω with Row-Polymorphism

functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega

Last synced: 24 Jan 2026

https://github.com/tominated/chip-8-vm

CHIP-8 Virtual machine implemented in haskell for the Great Code Club

Last synced: 11 Jan 2026