Alternatives and similar repositories for ya

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

• tomjaguarpaw / bluefin
  ☆112Updated this week
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆95Updated last month
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 9 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated last year
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• tweag / ghc-wasm-miso-examples
  ☆54Updated last month
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆130Updated this week
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆37Updated 2 years ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆52Updated last week
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 7 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆130Updated last year
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 4 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 5 months ago
• klapaucius / fphistoryru
  ☆14Updated 2 weeks ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆18Updated last year
• marcosh / crem
  Compositional Representable Executable Machines
  ☆120Updated last week
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆51Updated 3 weeks ago
• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆19Updated 8 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆27Updated 8 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated last year
• matthunz / view-monad
  ☆23Updated 11 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆51Updated 5 years ago