Alternatives and similar repositories for ats-parcc

Users that are interested in ats-parcc are comparing it to the libraries listed below

• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 6 months ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 12 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆13Updated 6 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated last month
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 9 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 4 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• palladin / idris-snippets
  Collection of Idris snippets
  ☆21Updated last year
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago