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 33 Category Theory Open Source Projects

Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 8,334
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Plt ⭐ 4,433
λΠ Programming Language Theory
Arrow ⭐ 4,253
Λrrow - Functional companion to Kotlin's Standard Library
Quiver ⭐ 1,612
A modern commutative diagram editor for the web.
Tikzcd Editor ⭐ 1,478
A simple visual editor for creating commutative diagrams.
Unplugged ⭐ 1,202
Open book about math and computer science.
Fp Core.rs ⭐ 793
A library for functional programming in Rust
Ltupatternfactory ⭐ 742
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category Theory ⭐ 567
An axiom-free formalization of category theory in Coq for personal study and practical work
Bow ⭐ 542
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Category Theory Programmers ⭐ 466
Category theory in the context of (functional) programming
Awesome Applied Ct ⭐ 415
ACT community resources
Fluokitten ⭐ 412
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Fp Resources ⭐ 368
Functional programming great resources
Scala_typeclassopedia ⭐ 341
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 ⭐ 341
Programming language agnostic type construction language based on polynomials.
Catlab.jl ⭐ 332
A framework for applied category theory in the Julia language
Zio Prelude ⭐ 270
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Every Single Day I Tldr ⭐ 252
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Fstoolkit.errorhandling ⭐ 204
An opinionated F# Library for error handling
Idris Ct ⭐ 204
formally verified category theory library
Bastet ⭐ 202
A ReasonML/Ocaml library for category theory and abstract algebra
Cql ⭐ 197
Categorical Query Language IDE
Functional Examples ⭐ 179
Examples with Functional JavaScript, following Professor Frisby's course
Discopy ⭐ 149
a toolbox for computing with monoidal categories
Lawvere ⭐ 149
A categorical programming language with effects
Categories ⭐ 141
Categories parametrized by morphism equality, in Agda
Cql ⭐ 134
CQL: Categorical Query Language implementation in Haskell
Naive_functional_programming ⭐ 129
A naive approach to functional programming using TypeScript
Domains ⭐ 124
A computational algebra system in Smalltalk.
Foundational Knowledge For Programmers ⭐ 118
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Fundamental Haskell ⭐ 88
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-33 of 33 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