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

• 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
  ☆19Updated 5 years ago
• lawcho / agda2c
  Agda to C compiler
  ☆10Updated last month
• Dillonb / dgbir
  An intermediate representation language for JITs
  ☆12Updated 2 weeks ago
• Ashiepaws / BullyGB
  A modular Gameboy test framework and a lot of potentially emulator-breaking test cases.
  ☆13Updated 4 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated 2 months ago
• TristanCacqueray / demo-render
  Digital art
  ☆10Updated 5 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• lexi-lambda / shattered-plans
  ☆39Updated 2 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 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
• BinderDavid / haskell-spec
  Formal specification of the Haskell Language Report
  ☆28Updated this week
• ayberkt / simplc
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Updated 5 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 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
• nmvdw / groupoids
  Groupoids vs 1-Types
  ☆11Updated 6 years ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 7 months ago
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated 2 years ago
• uds-psl / CoqTM
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Updated 2 years ago
• sto0pkid / swipl-tt
  Implementation of dependent type theory in SWI-Prolog
  ☆10Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 8 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• lambdacube3d / emulator-stunts
  Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell
  ☆32Updated 6 years ago