Gergő Érdi
Results
14
repositories owned by
Gergő Érdi
metafun
57
Stars
3
Forks
Watchers
Compile Haskell-like code into C++ template metaprograms
alef
31
Stars
0
Forks
Watchers
Alef Lazily Evaluates Functions
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
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