Alternatives and similar repositories for dcpu16-hs

Users that are interested in dcpu16-hs are comparing it to the libraries listed below

• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 5 years ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• minad / henk
  pure type system language - henk 2000 ported to megaparsec, pretty
  ☆21Updated 9 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated 6 months ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• levex / haskell-doom
  doom
  ☆17Updated 9 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 7 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• esengie / fpl-exploration-tool
  Diploma work (if this is still here contact me if you need details)
  ☆13Updated 7 years ago
• sseefried / docker-epidemic-build-env
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆30Updated 9 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆47Updated 4 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month