gergoerdi

Finite tape Turing machine

Pinned Repositories

alef
Alef Lazily Evaluates Functions
Language:Common Lisp31 8 00
chirp8-avr
CHIP-8 implementation in Rust targeting AVR microcontrollers
Language:Rust47 6 16
clash-compucolor2
Clash implementation of the Compucolor II home computer
Language:Haskell30 7 14
clash-intel8080
Intel 8080 CPU core: software emulator and CLaSH hardware description
Language:Haskell25 4 03
clash-spaceinvaders
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
Language:Tcl47 5 43
functional-mos6502-web-performance
https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
Language:JavaScript27 5 35
icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
Language:Idris30 5 02
metafun
Compile Haskell-like code into C++ template metaprograms
Language:Haskell58 6 03
mos6502-kansas-lava
Kansas Lava implementation of MOS 6502 microprocessor
Language:Haskell15 5 04
tandoori
Compositional type checking for Haskell
Language:Haskell36 4 03

gergoerdi's Repositories

gergoerdi/chirp8-avr
CHIP-8 implementation in Rust targeting AVR microcontrollers
Language:Rust47 6 16
gergoerdi/clashilator
Generate interface between Clash and Verilator
Language:Haskell22 5 12
gergoerdi/clash-pong
Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
Language:Tcl9 4 19
gergoerdi/retroclash-lib
Library code for upcoming RetroClash book
Language:Haskell9 4 18
gergoerdi/clash-shake
Language:Haskell6 3 110
gergoerdi/chirp8-engine
Language:Rust4 3 01
gergoerdi/chirp8-sdl
Language:Rust3 3 0
gergoerdi/chip-80
A CHIP-8 implementation for Z80
Language:Haskell2 2 0
gergoerdi/clash-flappysquare
Flappy Square, the Clash circuit from my Haskell Exchange 2022 talk
Language:Tcl2 2 01
gergoerdi/idris2-homelab
Language:Idris2 3 0
gergoerdi/ratkai
Rátkai István szöveges kalandjátékaival kapcsolatos programok: Z80 verzió, és játékfejlesztési toolok
Language:Haskell2 2 01
gergoerdi/rust-mos-hello
Reproduction of http://forum.6502.org/viewtopic.php?p=84048#p84048
Language:Makefile2 3 01
gergoerdi/homelab2-games
Games for the HomeLab-2 home computer
Language:Haskell1 2 0
gergoerdi/retroclash-sim
High-level simulators for the RetroClash book
Language:Haskell1 3 02
gergoerdi/chirp8-wasm
Language:Rust2 0
gergoerdi/circuit-notation
A plugin for circuit notation
gergoerdi/clash-compiler
CAES Language for Synchronous Hardware
Language:Haskell2 0
gergoerdi/clash-issue-2802
Language:Haskell
gergoerdi/clash-protocols-issue-93
Language:Haskell
gergoerdi/geniplate-mirror
Use TH to generate uniplate-like functions.
Language:Haskell1 0
gergoerdi/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python0 0
gergoerdi/homelab2programs
Language:Assembly1 0
gergoerdi/honlab
Language:JavaScript2 01
gergoerdi/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
gergoerdi/liquidhaskell
Liquid Types For Haskell
gergoerdi/MicroHs
Functional language implemented with combinators
Language:C1 0
gergoerdi/nixpkgs
Nix Packages collection & NixOS
Language:Nix1 0
gergoerdi/rhine-koans
Koans to learn rhine
gergoerdi/z80-utils-haskell
Language:Haskell2 0
gergoerdi/ZX0
Data compressor for 8-bit computers and low-end platforms
Language:Assembly1 0