Pinned Repositories
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)
metafun
Compile Haskell-like code into C++ template metaprograms
mos6502-kansas-lava
Kansas Lava implementation of MOS 6502 microprocessor
tandoori
Compositional type checking for Haskell
gergoerdi's Repositories
gergoerdi/tandoori
Compositional type checking for Haskell
gergoerdi/alef
Alef Lazily Evaluates Functions
gergoerdi/stlc-agda
STLC-related snippets in Agda
gergoerdi/brainfuck-cpu-fpga
A CPU that uses Brainfuck as its machine code
gergoerdi/brainfuck
Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of performance
gergoerdi/brainfuck-cpu
Brainfuck CPU from simple logic gates
gergoerdi/mod-arith
Modular arithmetic in Agda
gergoerdi/chip8-haskell
CHIP-8 emulator
gergoerdi/free-applicative
Free applicative functors
gergoerdi/language-java-classfile
Parse Java .class files into language-java
gergoerdi/mgu-agda
Agda implementation of McBride's "First-order unification by structural recursion" paper
gergoerdi/hindleymilner-agda
Hindley Milner type system modeled in Agda
gergoerdi/2048-CHIP8
2048 game for the CHIP-8 virtual machine
gergoerdi/arrow-stack-compiler
gergoerdi/MiFuLa
Minimal Functional Language
gergoerdi/tecs
Code related to The Elements of Computing Systems
gergoerdi/elisp
Emacs Lisp things
gergoerdi/hfsnotify
Unified Haskell interface for basic file system notifications
gergoerdi/naive-stm
Naive, non-primop implementations of STM
gergoerdi/quot-structures
Lift algebraic structures from setoids to quotient sets
gergoerdi/rtree
gergoerdi/soko-dash
Boulder Dash in Haskell
gergoerdi/sstg
Simplified, Serializable STG
gergoerdi/typeprog
gergoerdi/ureddit-ai-110
University of Reddit AI 110 solutions to exercises
gergoerdi/visual-haskell
Haskell interpreter and graphical debugger using graph rewriting (WIP)
gergoerdi/zeromq-haskell
Haskell bindings to 0MQ (http://www.zeromq.org).