Alternatives and similar repositories for haskell-doom

Users that are interested in haskell-doom are comparing it to the libraries listed below

• jaspervdj / dcpu16-hs
  Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)
  ☆42Updated 13 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• ocharles / hadoom
  A little Doom-like 2.5 game engine
  ☆83Updated 10 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• habit-lang / alb
  ☆39Updated 9 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 9 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated 6 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆31Updated 6 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• cstrahan / hs-capnp
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Updated 9 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 4 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago