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 5 years ago
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 4 years ago
• BartoszMilewski / GameOfLife
  Conway's Game of Life using a comonad
  ☆23Updated 2 months ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 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
• ekmett / free
  free monads
  ☆171Updated 3 weeks ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆95Updated 6 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆90Updated 4 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated 8 months ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆69Updated 4 years ago
• outwatch / purescript-outwatch
  A functional and reactive UI framework based on Rx and VirtualDom
  ☆34Updated 5 years ago
• arthurxavierx / purescript-comonad-ui-todos
  Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
  ☆53Updated 4 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated last year
• ekmett / abelian
  Commutative Applicatives and Semigroups
  ☆31Updated 6 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆157Updated 8 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 5 months ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago