All Git Users → gergoerdi

6 open source projects by gergoerdi

[ Open user page on Github ]

Compile Haskell-like code into C++ template metaprograms

✭ 52

haskell cplusplus code-generator

CHIP-8 implementation in Rust targeting AVR microcontrollers

✭ 40

rust C++c shell arduino avr microcontroller chip8 chip8-interpreter

3. clash-spaceinvaders

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

✭ 45

haskell Verilog fpga hardware space-invaders clash intel8080

4. clash-compucolor2

Clash implementation of the Compucolor II home computer

✭ 25

haskell Verilog emulator fpga clash retrocomputing intel-8080 compucolor2

5. universe-of-syntax

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

✭ 16

Agda lambda-calculus agda substitution normalization simply-typed-lambda-calculus

6. mos6502-kansas-lava

Kansas Lava implementation of MOS 6502 microprocessor

✭ 14

haskell assembly fpga kansas-lava microprocessor mos-6502

1-6 of 6 user projects