Alternatives and similar repositories for ats-http

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

• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 5 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 2 weeks ago
• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• emilypi / order
  Order theory
  ☆24Updated last year
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• ekmett / parsnip
  ☆18Updated 4 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 5 years ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆42Updated last year
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 8 months ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 4 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 6 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week