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

• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps
  Slides and code examples for a talk
  ☆22Updated 7 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 6 months ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• qnikst / haskell-fun
  A short scripts and programs
  ☆12Updated 2 years ago
• haskell-haskey / haskey-btree
  B+-tree implementation in Haskell
  ☆27Updated 5 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• tfausak / factory
  An example Servant API.
  ☆19Updated 9 years ago
• well-typed / ghc-events-analyze
  ☆67Updated last year
• duijf / stm-course
  Slides and exercises for an STM "course" series
  ☆30Updated 4 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• chris-martin / haskell-libraries
  Incubator for my Haskell libraries
  ☆20Updated 7 years ago
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆31Updated 6 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆39Updated last year
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 7 years ago