Awesome Open Source
Awesome Open Source
Combined Topics
category-theory x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 162 Category Theory Open Source Projects on Github

Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 8,765
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Plt ⭐ 4,491
λΠ Programming Language Theory
Quiver ⭐ 1,704
A modern commutative diagram editor for the web.
Tikzcd Editor ⭐ 1,364
A simple visual editor for creating commutative diagrams.
Unplugged ⭐ 1,253
Open book about math and programming.
Ltupatternfactory ⭐ 700
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Fp Core.rs ⭐ 644
A library for functional programming in Rust
Category Theory ⭐ 588
An axiom-free formalization of category theory in Coq for personal study and practical work
Bow ⭐ 570
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
Awesome Applied Ct ⭐ 416
ACT community resources
Fluokitten ⭐ 394
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Catlab.jl ⭐ 380
A framework for applied category theory in the Julia language
Scala_typeclassopedia ⭐ 359
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Fp Resources ⭐ 350
Functional programming great resources
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
Zio Prelude ⭐ 309
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Every Single Day I Tldr ⭐ 272
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Fstoolkit.errorhandling ⭐ 245
An opinionated F# Library for error handling
Cql ⭐ 216
Categorical Query Language IDE
Bastet ⭐ 203
A ReasonML/Ocaml library for category theory and abstract algebra
Idris Ct ⭐ 179
formally verified category theory library
Functional Examples ⭐ 176
Examples with Functional JavaScript, following Professor Frisby's course
Discopy ⭐ 166
a toolbox for computing with monoidal categories
Categories ⭐ 134
Categories parametrized by morphism equality, in Agda
Naive_functional_programming ⭐ 129
A naive approach to functional programming using TypeScript
Lawvere ⭐ 124
A categorical programming language with effects
Domains ⭐ 124
A computational algebra system in Smalltalk.
Cql ⭐ 117
CQL: Categorical Query Language implementation in Haskell
Foundational Knowledge For Programmers ⭐ 112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Category_theory_machine_learning ⭐ 101
List of papers studying machine learning through the lens of category theory
Preface ⭐ 98
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Fundamental Haskell ⭐ 96
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Functional ⭐ 96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Categories ⭐ 87
A formalization of category theory in the Coq proof assistant.
Adjoint ⭐ 69
Thoughts on adjoint, norm and such.
Monadic Mondays ⭐ 60
Code samples for #monadicmonday topics
Ctrs ⭐ 59
Category Theory For Programmers (Bartosz Milewski)
Catscheatsheet ⭐ 47
This project is to contain a listing of common theorems in elementary category theory.
Cat ⭐ 46
A formalization of category theory in cubical Agda
Purescript Ctprelude ⭐ 46
A Prelude with names from category theory
Caterwaul ⭐ 46
Modeling categories in Dhall.
Data Category ⭐ 44
Library of categories, with categorical constructions on them
Functors.jl ⭐ 41
Parameterise all the things
Jsx Tikzcd ⭐ 36
Render tikzcd diagrams with JSX.
Kotlinz ⭐ 35
Functional programming in Kotlin
Directsum.jl ⭐ 35
Tangent bundle / vector space category and functors
Fsm Oracle ⭐ 34
Finite state machines as graphs
Letsgo ⭐ 31
Examples of the most important features of this languages.
Bewl ⭐ 29
A DSL for the internal language of a topos
Functional Structures Refactoring Kata ⭐ 28
Starting code and proposed solution for Functional Structures Refactoring Kata
Abstracttensors.jl ⭐ 28
Tensor algebra abstract type interoperability setup
Verigraph ⭐ 27
Software specification and verification system based on graph rewriting
Fp Dictionary ⭐ 24
FP category theory jargon explained on a single A4 page
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
Meow ⭐ 23
Catless Category Theory in Dotty/Scala 3 meow ~
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Feval ⭐ 22
evaluation using f-algebras
Category Parametric Talk ⭐ 22
Talks on category-parametric programming.
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
Notes Milewski Ctfp Hs ⭐ 22
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Bs Free ⭐ 22
Free monads for bucklescript
Opl ⭐ 20
Operad Programming Language in Haskell, by David Darais
Smproc ⭐ 19
A well-typed symmetric-monoidal category of concurrent processes
Cap_project ⭐ 17
CAP project -- Categories, Algorithms, and Programming
Algebraicrelations.jl ⭐ 17
Relational Algebra, now with more algebra!
Commutative Diagrams ⭐ 16
CoDi: Commutative Diagrams for TeX
Cat ⭐ 16
A categorical semantics library in Agda.
Opycleid ⭐ 16
Opycleid - A Python package for transformational music theory
Cubical Categories ⭐ 15
Category theory formalized in cubical agda
Ad Lens ⭐ 15
Automatic Differentiation using Pseudo Lenses. Neat.
Semagrams.jl ⭐ 14
A graphical editor for graph-like structures
Free Arrow ⭐ 14
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Categories ⭐ 13
Category Theory
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
Haskerwaul ⭐ 13
Category Theory Bartosz Milewski Lecture Notes ⭐ 13
Category theory for programmers lecture notes
Hamcat ⭐ 12
Category Theory for Programmers の勉強記録
Monnit ⭐ 11
Monads, functors etc. for Clojure(Script)
Cifl Math Library ⭐ 11
Basic mathematics library
Principia.ts ⭐ 10
TypeScript functional programming
Kan ⭐ 10
Kan: A browser extension for reading nLab
Cheshire ⭐ 10
This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
Not Bad Ccc ⭐ 8
Another tact on compiling to categories without a plugin
Functionaljswithcategories ⭐ 8
Functional Programming in Javascript with Categories
Abel ⭐ 8
Category theory applied to functional programming
Ct ⭐ 8
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Split Morphism ⭐ 8
➰ Split Morphisms
Arrow Media ⭐ 8
Media blog for the functional companion to Kotlin's Standard Library
Monoid.space ⭐ 7
Learn pure math with agda 🚀
Bow Lite ⭐ 7
🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Categorias_y_programacion ⭐ 7
Bibliografía sobre teoría de categorías y programación funcional
Persians ⭐ 7
An attempt to translate ekmett's beautiful Kan library from Haskell to Scala.
Introcategorias ⭐ 7
Apuntes de introducción a la teoría de categorías.
Pilin ⭐ 7
A library for Kotlin multi-platform providing some functional programming idioms and user defined effects.
Socialtheories.jl ⭐ 7
Theories of social science expressed in Catlab.jl formalisms
Discokitty ⭐ 6
(Work in progress) An educational implementation of some aspects of the DisCoCat framework
Arrow Docset ⭐ 6
A Dash-docset for Λrrow
Sheetshow ⭐ 6
A renderer for sheet diagrams in bimonoidal categories
1-100 of 162 projects

Related Projects

Functional Programming Category Theory Projects (48)
Haskell Category Theory Projects (26)
Monad Category Theory Projects (26)
Scala Category Theory Projects (23)
Category Theory Functor Projects (22)
Functional Programming Monad Category Theory Projects (13)
Monad Category Theory Functor Projects (13)
Category Theory Monoid Projects (12)
Tex Category Theory Projects (11)
Functional Programming Category Theory Functor Projects (11)
Mathematics Category Theory Projects (11)
Math Category Theory Projects (10)
Algebra Category Theory Projects (10)
Julia Category Theory Projects (10)
Scala Functional Programming Category Theory Projects (10)
Java Category Theory Projects (10)
Javascript Category Theory Projects (9)
Latex Category Theory Projects (9)
Agda Category Theory Projects (9)
Monad Category Theory Monoid Projects (8)
Category Theory Functor Monoid Projects (8)
Typescript Category Theory Projects (8)
Haskell Functional Programming Category Theory Projects (8)
Fp Category Theory Projects (8)
Functional Programming Monad Category Theory Functor Projects (7)
Category Theory Abstract Algebra Projects (7)
Functional Programming Category Theory Monoid Projects (6)
Category Theory Types Projects (2)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021