ulricha / dsh

Related projects: ⓘ

• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆54Updated 3 months ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆102Updated last year
• chrisdone / labels
  Declare and access tuple fields with labels
  ☆61Updated 5 years ago
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆44Updated 4 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆30Updated 8 years ago
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 2 years ago
• nikita-volkov / stm-containers
  Containers for STM
  ☆66Updated 4 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 4 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated 11 months ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated last year
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆59Updated 2 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated last month
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• composewell / packcheck
  Universal build and CI testing for Haskell packages
  ☆91Updated 2 months ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last month
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• matchwood / acid-world
  Flexible persistence for Haskell data types primarily based on event logging and checkpoints
  ☆47Updated 5 years ago
• nikita-volkov / compound-types
  Sum and Product types and such
  ☆29Updated 4 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 3 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆71Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 4 years ago
• helsinki-frp / yampy-cube
  Code for live-coding session
  ☆20Updated 9 years ago
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆43Updated 5 years ago