Gergő Érdi

Results 14 repositories owned by Gergő Érdi

metafun

57
Stars
3
Forks
Watchers

Compile Haskell-like code into C++ template metaprograms

chirp8-avr

47
Stars
6
Forks
Watchers

CHIP-8 implementation in Rust targeting AVR microcontrollers

clash-compucolor2

30
Stars
4
Forks
Watchers

Clash implementation of the Compucolor II home computer

clash-intel8080

23
Stars
3
Forks
Watchers

Intel 8080 CPU core: software emulator and CLaSH hardware description

clash-spaceinvaders

46
Stars
3
Forks
Watchers

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

clashilator

19
Stars
2
Forks
Watchers

Generate interface between Clash and Verilator

functional-mos6502-web-performance

23
Stars
4
Forks
Watchers

https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/

icfp-bingo-2017-idris

30
Stars
1
Forks
Watchers

ICFP Bingo 2017 (Idris edition)

tandoori

36
Stars
3
Forks
Watchers

Compositional type checking for Haskell