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

• lambdacube3d / emulator-stunts
  Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell
  ☆32Updated 6 years ago
• batterseapower / chsc
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Updated 14 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• lawcho / agda2c
  Agda to C compiler
  ☆10Updated 2 weeks ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated 2 months ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 3 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
• Dillonb / dgbir
  An intermediate representation language for JITs
  ☆12Updated last week
• TristanCacqueray / demo-render
  Digital art
  ☆11Updated 5 years ago
• BinderDavid / haskell-spec
  Formal specification of the Haskell Language Report
  ☆27Updated this week
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• Ashiepaws / BullyGB
  A modular Gameboy test framework and a lot of potentially emulator-breaking test cases.
  ☆13Updated 4 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
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated 2 years ago
• nmvdw / groupoids
  Groupoids vs 1-Types
  ☆11Updated 6 years ago
• ayberkt / simplc
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 6 months ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 6 months ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆26Updated 3 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• uds-psl / CoqTM
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Updated 2 years ago
• gergoerdi / generic-syntax
  Library implementation of "Generic description of well-scoped, well-typed syntaxes"
  ☆12Updated 7 years 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
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago