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