Gergő Érdi's repositories
chirp8-avr
CHIP-8 implementation in Rust targeting AVR microcontrollers
clashilator
Generate interface between Clash and Verilator
clash-pong
Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
retroclash-lib
Library code for upcoming RetroClash book
clash-flappysquare
Flappy Square, the Clash circuit from my Haskell Exchange 2022 talk
rust-mos-hello
Reproduction of http://forum.6502.org/viewtopic.php?p=84048#p84048
homelab2-games
Games for the HomeLab-2 home computer
retroclash-sim
High-level simulators for the RetroClash book
circuit-notation
A plugin for circuit notation
clash-compiler
CAES Language for Synchronous Hardware
geniplate-mirror
Use TH to generate uniplate-like functions.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
rhine-koans
Koans to learn rhine