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.

Haskell implemented with combinators

Historical source code for Infocom's Z-machine interpreters

MEGA65 FPGA core

Handouts for Ladybug, Ladybug, Fly Away Home by Jeff Moeller in The Things We Leave Behind

a collection of desktop games written in rust

Haskell to VHDL/Verilog/SystemVerilog compiler

Demo for high-performance type theory elaboration

A complete emulation of the Intel 8080 processor written in C99.

Idris tactics for (commutative) monoids

Pico-8 Demake Of 8-Bit Game

Atoms for the ZX Spectrum

Monorepo for a multi-player game engine, and game examples

Implementation of ZX81 3D Monster Maze game on the ZX Spectrum

Gomoku

Tetris in 6502 for the Commodore 64

MIRROR of https://codeberg.org/catseye/Bubble-Escape : A maze-exploration minigame (2K) for the Commodore 64

A 3D maze game written in C for the Commodore 64

An emulation of the CHIP-8 that runs on the Commodore 64

🔊 Spotify app for La Metric clock

Tiny 2048 - arduboy

A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)

Shake AVR Make & Upload

Kansas Lava

Structured editing minor mode for Haskell in Emacs

Learning and Using ØMQ