isovector / functional-design-patterns

Related projects ⓘ

Alternatives and complementary repositories for functional-design-patterns

• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last year
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 4 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆18Updated last month
• mixphix / deep-map
  Deeply nested, multiple key-type maps.
  ☆11Updated last month
• aaronallen8455 / Typson
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Updated 3 years ago
• cachix / hs-opentelemetry-instrumentation-servant
  OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.
  ☆12Updated 3 months ago
• emilypi / order
  Order theory
  ☆23Updated last year
• stevana / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆16Updated 2 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated 5 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated 2 weeks ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 5 months ago
• albertprz / puresheet
  Spreadsheet management application on Halogen
  ☆25Updated 5 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆15Updated 2 years ago
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 6 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• parsonsmatt / prio
  Plucky Runtime IO
  ☆15Updated 4 years ago
• tfausak / imp
  Automatically import Haskell modules.
  ☆19Updated 3 weeks ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 10 months ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆14Updated 2 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 4 months ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆19Updated last year
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 3 years ago
• purescript / purescript-type-equality
  Type equality constraints
  ☆16Updated 2 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated this week
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆17Updated last year
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• purescript / purescript-exists
  Existential types as a library
  ☆34Updated last year
• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 2 months ago