Alternatives and similar repositories for CategoryTheory

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

• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆175Updated 4 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆33Updated 6 years ago
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆176Updated 7 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆219Updated last year
• 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 8 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆198Updated 2 weeks ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆58Updated 12 years ago
• Jyothsnasrinivas / eta-android-2048
  Android 2048 game using Yampa FRP library in Eta
  ☆57Updated 7 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 10 months ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated last month
• 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
• 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
  ☆25Updated 9 years ago
• BartoszMilewski / GameOfLife
  Conway's Game of Life using a comonad
  ☆24Updated last year
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Updated 2 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago
• ekmett / free
  free monads
  ☆187Updated 10 months ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 6 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• haroldcarr / presentations
  slides for presentations I have given
  ☆22Updated 6 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆202Updated 2 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago