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
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆31Updated 5 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 8 months ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆53Updated 3 weeks 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
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 9 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• UU-ComputerScience / uhc
  ☆137Updated 3 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• haskellari / tree-diff
  Diffing of (expression) trees.
  ☆77Updated last month
• deech / ATSPresentation
  ☆21Updated 9 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 6 months ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 2 months ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago