Alternatives and similar repositories for TACOS

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

• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 6 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 6 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated last week
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• eskimor / purescript-bridge
  Create PureScript datatypes from Haskell datatypes
  ☆112Updated last year
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated this week
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆223Updated 3 months ago
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆109Updated 4 years ago
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆60Updated last month
• Lysxia / first-class-families
  First-class type families
  ☆90Updated 3 months ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆48Updated 4 months ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 3 years ago
• VictorCMiraldo / generics-mrsop
  ☆21Updated 3 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• qfpl / state-machine-testing-course
  Course for learning how to apply property-based state-machine testing
  ☆62Updated 6 years ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆179Updated 9 months ago
• brandonchinn178 / aeson-schemas
  Easily consume JSON data on-demand with type-safety
  ☆60Updated last month
• fokot / howerpoint
  ☆72Updated 8 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆119Updated last year
• matt-noonan / gdp-paper
  Ghosts of Departed Proofs
  ☆43Updated 7 years ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆95Updated 3 years ago
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated last year
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• nfrisby / tcplugins-zurihac2020
  ZuriHac 2020 GHC typechecker plugins project
  ☆19Updated 4 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• haskellfoundation / gotta-go-fast
  A How-To Performance Tuning Book for Haskell
  ☆20Updated 4 years ago
• hdgarrood / purescript-debugged
  ☆58Updated 5 years ago
• composewell / packcheck
  Universal build and CI testing for Haskell packages
  ☆94Updated 3 months ago
• sellout / yaya
  Yet another … yet another recursion scheme library for Haskell
  ☆89Updated this week