Alternatives and similar repositories for tarts

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

• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 6 months ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 7 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated 2 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 11 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last month
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• ekmett / streams
  Haskell 2010 stream comonads
  ☆22Updated 5 months ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• deepfire / reflex-glfw
  A GLFW-b adapter for the Haskell Reflex FRP implementation.
  ☆10Updated 6 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 3 years ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 8 years ago