Alternatives and similar repositories for ya

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

• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated 3 months ago
• klapaucius / fphistoryru
  ☆13Updated last week
• tomjaguarpaw / bluefin
  ☆98Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆126Updated last year
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆44Updated this week
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated 2 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 5 months ago
• cdupont / Timeloop
  ☆41Updated last year
• effectfully-ou / sketches
  A Haskell blog
  ☆139Updated 10 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆129Updated last week
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 6 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆26Updated 6 months ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆94Updated last month
• cdepillabout / password
  datatypes and functions for easily working with passwords in Haskell
  ☆57Updated 6 months ago
• jcpetruzza / barbies
  ☆93Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆97Updated this week
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 11 months ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 7 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 4 months ago
• marcosh / crem
  Compositional Representable Executable Machines
  ☆116Updated 5 months ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated last year
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• bcardiff / lambda-library
  Sample project to compare how side-effects can be managed and tested in Haskell
  ☆20Updated 3 weeks ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated this week
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago