dfithian / dfdb

Related projects ⓘ

Alternatives and complementary repositories for dfdb

• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 2 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 6 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated last year
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆91Updated 2 weeks ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 11 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 7 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 weeks ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last month
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 11 months ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated 3 weeks ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 3 months ago
• vincenthz / hs-packer
  Fast serialization in haskell
  ☆15Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆26Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆66Updated last month
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 3 years ago
• obsidiansystems / rhyolite
  ☆26Updated 3 weeks ago
• tweag / lagoon
  Data centralization tool
  ☆35Updated 4 years ago