Alternatives and similar repositories for CategoryTheory:

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

• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 6 years ago
• BartoszMilewski / GameOfLife
  Conway's Game of Life using a comonad
  ☆23Updated 4 months ago
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 4 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆95Updated 6 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 5 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 6 months ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆91Updated 4 years ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated 2 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 8 months ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Updated 7 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 7 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated last year
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated 2 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆217Updated last year
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆158Updated 8 years ago