Alternatives and similar repositories for ats-http

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

• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 3 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated this week
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• ChrisPenner / Candor
  A toy Parser+Compiler+Typechecker
  ☆12Updated 2 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated this week
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago