Alternatives and similar repositories for chip8-emulator-for-gameboy

Users that are interested in chip8-emulator-for-gameboy are comparing it to the libraries listed below

• Dillonb / dgbir
  An intermediate representation language for JITs
  ☆12Updated last week
• Ashiepaws / BullyGB
  A modular Gameboy test framework and a lot of potentially emulator-breaking test cases.
  ☆13Updated 4 years ago
• batterseapower / chsc
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Updated 14 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated 2 weeks ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• lexi-lambda / shattered-plans
  ☆39Updated 2 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆50Updated 2 years ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆15Updated last year
• haskell-spec / haskell-spec
  Formal specification of the Haskell Language Report
  ☆29Updated last week
• lawcho / agda2c
  Agda to C compiler
  ☆10Updated 3 months ago
• TristanCacqueray / demo-render
  Digital art
  ☆10Updated 5 years ago
• ogamespec / dolwin-docs
  Accompanying documentation that were used in the Dolwin development process
  ☆11Updated 2 years ago
• uds-psl / CoqTM
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Updated 2 years ago
• lambdacube3d / emulator-stunts
  Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell
  ☆32Updated 6 years ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 4 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆26Updated 3 years ago
• jmtd / liquorice
  Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"
  ☆15Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 9 months ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• zaydlang / beanwii
  ☆20Updated 3 weeks ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• someodd / burrow
  Static gopherhole generator.
  ☆13Updated 7 months ago
• himikof / typed-lojban
  An experimental typing of Lojban grammar, in Haskell
  ☆13Updated 12 years ago
• thamugadi / powerpc-ofw-boot
  Bootable stuff for PowerPC-based macs + some primitives to interact with OpenFirmware
  ☆19Updated 5 months ago
• mooniev2 / vargds
  A Nintendo DS emulator
  ☆13Updated 2 years ago
• mtolly / pokemid
  Import/export Pokémon Red/Blue music as MIDI
  ☆41Updated 5 years ago
• wheremyfoodat / Luma
  ☆13Updated 2 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 5 years ago