Alternatives and similar repositories for ya:

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

• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 5 months ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 5 months ago
• Kleidukos / boreal
  ☆19Updated last month
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 9 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• obsidiansystems / calculator-tutorial
  Building a calculator with Reflex-FRP
  ☆10Updated 2 years ago
• haskellari / some
  Existential type.
  ☆36Updated 2 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated last week
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 6 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated this week
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆18Updated 3 months ago
• albertprz / puresheet
  Spreadsheet management application on Halogen
  ☆25Updated 7 months ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 8 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• matthunz / aztecs
  A type-safe and friendly ECS for Haskell
  ☆21Updated this week
• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆16Updated last month
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 2 weeks ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• gelisam / typechecker-combinators
  ☆16Updated 9 months ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last month
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆10Updated 2 weeks ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 3 weeks ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 weeks ago