Alternatives and similar repositories for dfdb:

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

• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆45Updated 2 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 2 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆52Updated 3 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 4 years 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
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆31Updated last month
• ZHaskell / docs
  Project Z, an initiative to build a Haskell engineering eco-system.
  ☆25Updated 3 months ago
• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆23Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• tweag / lagoon
  Data centralization tool
  ☆35Updated 4 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last week
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• ZHaskell / z-data
  array, slices and text
  ☆70Updated 7 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 8 months ago
• MaboroshiChan / clickhouse-haskell
  Haskell driver for ClickHouse
  ☆17Updated 4 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆88Updated last month
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated 9 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆27Updated this week
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆138Updated 3 weeks ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆10Updated 3 years ago
• tdp2110 / HaskellTiger
  Modern Compiler Implementation in ML, in Haskell
  ☆19Updated 3 years ago