Alternatives and similar repositories for arm-mariokart

Users that are interested in arm-mariokart are comparing it to the libraries listed below

• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated last year
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 3 weeks ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 weeks ago
• llvm-hs / llvm-hs-pretty
  Pretty printer for LLVM AST to Textual IR
  ☆69Updated 2 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆76Updated 5 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 5 years ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆70Updated 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
• gergoerdi / clash-spaceinvaders
  Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
  ☆48Updated 2 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 9 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 8 months ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• batterseapower / chsc
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Updated 14 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 7 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• levex / haskell-doom
  doom
  ☆17Updated 9 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated last month
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 6 years ago