Alternatives and similar repositories for fluid:

Users that are interested in fluid are comparing it to the libraries listed below

• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 8 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• albertprz / puresheet
  Spreadsheet management application on Halogen
  ☆25Updated 7 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆23Updated 2 months ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆18Updated 3 months ago
• purefunctor / purescript-uncurried-transformers
  Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.
  ☆24Updated 2 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated 3 weeks ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• hackworthltd / primer
  A pedagogical functional programming language.
  ☆15Updated this week
• obsidiansystems / calculator-tutorial
  Building a calculator with Reflex-FRP
  ☆10Updated 2 years ago
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week
• cdupont / Timeloop
  ☆41Updated last year
• purefunctor / purescript-dissect
  Dissectible data structures for implementing iterative traversals.
  ☆20Updated 2 years ago
• purefunctor / purescript-ssrs
  Stack-safe recursion schemes on dissectible data structures.
  ☆12Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 4 years ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆47Updated this week
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 5 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 weeks ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• haskell-works / oops
  ☆22Updated last month
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• Kleidukos / boreal
  ☆19Updated last month
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago