Alternatives and similar repositories for syb:

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

• mokus0 / monad-loops
  Some useful control operators for looping
  ☆48Updated 5 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 7 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last week
• ekmett / tagged
  phantom types
  ☆38Updated last month
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 months ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 2 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• turingjump / bookkeeper
  ☆54Updated 6 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 2 months ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 4 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 3 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 9 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆30Updated last year
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆50Updated 6 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 weeks ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year