Alternatives and similar repositories for domain-modeling-with-haskell-data-structures:

Users that are interested in domain-modeling-with-haskell-data-structures are comparing it to the libraries listed below

• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• chrisdone-archive / sandbox
  Small random demonstrations of code
  ☆12Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• haskell-haskey / haskey-btree
  B+-tree implementation in Haskell
  ☆27Updated 5 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 4 months ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• jfischoff / hasql-queue
  hasql postgres queue
  ☆18Updated 3 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 5 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• Gabriella439 / servant-crud
  Example CRUD web server+client using Servant
  ☆34Updated 2 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps
  Slides and code examples for a talk
  ☆22Updated 7 years ago
• mmhelloworld / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆12Updated 3 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 4 years ago
• well-typed / ghc-events-analyze
  ☆67Updated last year
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 5 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆30Updated 3 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year