Alternatives and similar repositories for dfdb:

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

• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆21Updated 2 months ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 3 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 4 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆52Updated 5 months ago
• isovector / functional-design-patterns
  could it be?
  ☆17Updated 9 months ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated last month
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆11Updated 5 years ago
• sdiehl / tiny-gpt2
  A reference implementation of GPT-2 in Python, for teaching ML compilers
  ☆10Updated this week
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆58Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• utdemir / distributed-dataset
  A distributed data processing framework in Haskell.
  ☆116Updated 4 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 4 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last week
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated last week
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 weeks ago
• vmchale / dickinson
  Text generation language
  ☆33Updated 2 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago