Alternatives and similar repositories for ya

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

• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆151Updated last month
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆45Updated last year
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆57Updated last week
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• haskell-wasm / ghc-wasm-miso-examples
  ☆59Updated last month
• tomjaguarpaw / bluefin
  ☆134Updated last week
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆135Updated this week
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆109Updated 5 months ago
• re-xyr / cleff
  Fast and concise extensible effects
  ☆109Updated 2 years ago
• stefan-hoeck / idris2-pack
  ☆135Updated this week
• marcosh / crem
  Compositional Representable Executable Machines
  ☆121Updated this week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆43Updated 10 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆40Updated 3 years ago
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆71Updated this week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆154Updated 2 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated last month
• haskell / error-messages
  ☆75Updated 3 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆97Updated 2 months ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆43Updated 2 weeks ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆33Updated this week
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 10 months ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆83Updated 3 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆108Updated last week
• matthunz / view-monad
  ☆24Updated last year