Alternatives and similar repositories for dfdb

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

• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆52Updated this week
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 2 months ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆70Updated 10 months ago
• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆161Updated this week
• utdemir / distributed-dataset
  A distributed data processing framework in Haskell.
  ☆116Updated 5 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last month
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• MaboroshiChan / clickhouse-haskell
  Haskell driver for ClickHouse
  ☆17Updated 4 years ago
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated last year
• clayrat / sequent-calc-talk
  Code for the "Logic, machines and sequent calculus" talk
  ☆31Updated 2 years ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 5 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆41Updated last week
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 9 months ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 4 years ago
• cr-org / supernova
  Apache Pulsar client for Haskell
  ☆38Updated 4 years ago
• serokell / haskell-crypto
  Haskell cryptography done right
  ☆18Updated 2 months ago