Alternatives and similar repositories for jhc

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

• serokell / foundry
  Morte IDE
  ☆29Updated 7 months ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 5 months ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 7 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 11 months ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 8 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• haskell-perf / graphs
  ☆41Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 7 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• haskell / tar
  Reading, writing and manipulating ".tar" archive files.
  ☆42Updated last month
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated 11 months ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 9 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆37Updated 12 years ago
• UU-ComputerScience / uhc
  ☆138Updated 4 years ago