Gergő Érdi
Gergő Érdi
metafun
Compile Haskell-like code into C++ template metaprograms
alef
Alef Lazily Evaluates Functions
chirp8-avr
CHIP-8 implementation in Rust targeting AVR microcontrollers
clash-compucolor2
Clash implementation of the Compucolor II home computer
clash-intel8080
Intel 8080 CPU core: software emulator and CLaSH hardware description
clash-spaceinvaders
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
functional-mos6502-web-performance
https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
tandoori
Compositional type checking for Haskell