Alternatives and similar repositories for 500-sql-haskell:

Users that are interested in 500-sql-haskell are comparing it to the libraries listed below

• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 7 months ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 4 months ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated last week
• haskell-haskey / haskey-btree
  B+-tree implementation in Haskell
  ☆27Updated 5 years ago
• mrkkrp / text-metrics
  Calculate various string metrics efficiently in Haskell
  ☆43Updated 3 months ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last week
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 weeks ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated last month
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆30Updated 6 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 7 months ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• parsonsmatt / rowdy
  A convenient DSL for describing web routes
  ☆42Updated 4 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago