Alternatives and similar repositories for jhc

Users that are interested in jhc are comparing it to the libraries listed below

• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Updated 11 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 4 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆35Updated 5 years ago
• obsidiansystems / rhyolite
  ☆30Updated 4 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated 2 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 5 months ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆33Updated 6 years ago
• UU-ComputerScience / uhc
  ☆137Updated 3 years ago