Alternatives and similar repositories for TACOS

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

• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Updated 5 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆82Updated 4 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆34Updated 8 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 6 years ago
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated 3 weeks ago
• nfrisby / tcplugins-zurihac2020
  ZuriHac 2020 GHC typechecker plugins project
  ☆19Updated 4 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆128Updated last week
• VictorCMiraldo / generics-mrsop
  ☆21Updated 3 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated last week
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆59Updated 2 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 4 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆84Updated last week
• 5outh / Bang
  A Drum Machine DSL for Haskell
  ☆95Updated 6 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆118Updated last year
• DanBurton / tardis
  ☆110Updated 2 weeks ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 3 weeks ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 3 years ago
• fpco / haskell.fpcomplete.com
  FP Complete's Haskell Homepage
  ☆14Updated 5 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 7 months ago
• sebastianardelean / qchas
  ☆17Updated 7 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• fokot / howerpoint
  ☆72Updated 8 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆48Updated 10 months ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆74Updated 6 years ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 6 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆50Updated last year
• effectfully / random-stuff
  ☆20Updated last year
• jdolson / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆14Updated 7 years ago