Awesome Open Source
Awesome Open Source
Combined Topics
category-theory x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 32 Category Theory Open Source Projects

Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 8,049
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Plt ⭐ 4,366
λΠ Programming Language Theory
Arrow ⭐ 4,059
Λrrow - Functional companion to Kotlin's Standard Library
Quiver ⭐ 1,488
A modern commutative diagram editor for the web.
Tikzcd Editor ⭐ 1,433
A simple visual editor for creating commutative diagrams.
Unplugged ⭐ 1,158
Open book about math and computer science.
Fp Core.rs ⭐ 749
A library for functional programming in Rust
Ltupatternfactory ⭐ 729
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category Theory ⭐ 557
An axiom-free formalization of category theory in Coq for personal study and practical work
Bow ⭐ 536
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Category Theory Programmers ⭐ 466
Category theory in the context of (functional) programming
Fluokitten ⭐ 406
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Awesome Applied Ct ⭐ 402
ACT community resources
Fp Resources ⭐ 367
Functional programming great resources
Scala_typeclassopedia ⭐ 336
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.
Typedefs ⭐ 329
Programming language agnostic type construction language based on polynomials.
Catlab.jl ⭐ 296
A framework for applied category theory in the Julia language
Zio Prelude ⭐ 248
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Every Single Day I Tldr ⭐ 242
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Idris Ct ⭐ 200
formally verified category theory library
Bastet ⭐ 198
A ReasonML/Ocaml library for category theory and abstract algebra
Cql ⭐ 188
Categorical Query Language IDE
Functional Examples ⭐ 177
Examples with Functional JavaScript, following Professor Frisby's course
Fstoolkit.errorhandling ⭐ 170
An opinionated F# Library for error handling
Categories ⭐ 139
Categories parametrized by morphism equality, in Agda
Discopy ⭐ 132
a toolbox for computing with monoidal categories
Cql ⭐ 129
CQL: Categorical Query Language implementation in Haskell
Naive_functional_programming ⭐ 127
A naive approach to functional programming using TypeScript
Domains ⭐ 124
A computational algebra system in Smalltalk.
Foundational Knowledge For Programmers ⭐ 110
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Fundamental Haskell ⭐ 86
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.
Purescript Ctprelude ⭐ 46
A Prelude with names from category theory
1-32 of 32 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210