Stars
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
Hexdim (HEXaDeci-Instruction Machine) is an 8-bit CPU built in Haskell-Clash.
Where Lions Roam: RISC-V on the VELDT
Z80 open-source silicon clone. Goal is to become a silicon proven, pin compatible, open-source replacement for classic Z80.
Historical source code for Infocom's Z-machine interpreters
Handouts for Ladybug, Ladybug, Fly Away Home by Jeff Moeller in The Things We Leave Behind
Haskell to VHDL/Verilog/SystemVerilog compiler
Demo for high-performance type theory elaboration
A complete emulation of the Intel 8080 processor written in C99.
Monorepo for a multi-player game engine, and game examples
Implementation of ZX81 3D Monster Maze game on the ZX Spectrum
MIRROR of https://codeberg.org/catseye/Bubble-Escape : A maze-exploration minigame (2K) for the Commodore 64
An emulation of the CHIP-8 that runs on the Commodore 64
A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)
Structured editing minor mode for Haskell in Emacs