Alternatives and similar repositories for dfdb:

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

• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated 2 years ago
• IntersectMBO / lsm-tree
  A Haskell library for on-disk tables based on LSM-Trees
  ☆33Updated this week
• flipstone / kioku
  A simple db for ingesting and indexing static datasets on disk
  ☆11Updated 2 months ago
• stevana / bits-and-bobs
  Bit-level codec library
  ☆17Updated last year
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆19Updated 3 months ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 2 weeks ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆59Updated last month
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• Kuratoro / haskell.zettel.page
  Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)
  ☆17Updated 4 years ago
• obsidiansystems / rhyolite
  ☆27Updated last week
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated last month
• gagandeepb / Frames-beam
  Accessing Postgres in a data frame in Haskell
  ☆24Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆12Updated 4 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆87Updated this week
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 3 months ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 2 months ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆38Updated 2 months ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated 2 months ago
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago
• luc-tielen / debugger-hs
  Write your GDB scripts in Haskell!
  ☆27Updated 3 years ago
• Airsequel / AirGQL
  Automatically generate a GraphQL API for an SQLite database
  ☆15Updated last month
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆23Updated 2 years ago