Alternatives and similar repositories for CategoryTheory

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

• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆173Updated 4 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 8 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆33Updated 6 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 6 months 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
  ☆78Updated 8 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆194Updated 3 weeks ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• ekmett / free
  free monads
  ☆179Updated 6 months ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Updated 3 weeks ago
• purescript / trypurescript
  PureScript in the browser
  ☆120Updated last year
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆97Updated 3 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• facebookincubator / hsthrift
  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…
  ☆156Updated this week
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 6 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 9 years ago
• Jyothsnasrinivas / eta-android-2048
  Android 2048 game using Yampa FRP library in Eta
  ☆57Updated 7 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆52Updated 2 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated last month
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆136Updated 4 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆301Updated 6 months ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆218Updated 3 years ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆135Updated last year
• smudgelang / smudge
  A domain-specific language for state machines.
  ☆129Updated 5 years ago