Awesome Open Source
Awesome Open Source
Combined Topics
category-theory x

The Top 261 Category Theory Open Source Projects

Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 9,408
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 days ago
Plt ⭐ 4,676
Programming Language Theory λΠ
most recent commit 2 months ago
Books ⭐ 3,429
Awesome Books
most recent commit 2 months ago
Unplugged ⭐ 2,359
Open book about math and programming.
most recent commit 2 months ago
Quiver ⭐ 1,778
A modern commutative diagram editor for the web.
most recent commit 6 months ago
Tikzcd Editor ⭐ 1,364
A simple visual editor for creating commutative diagrams.
most recent commit 2 years ago
Cats ⭐ 907
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
total releases 17most recent commit 3 months ago
Ltupatternfactory ⭐ 805
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 2 months ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 2 years ago
Category Theory ⭐ 631
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 13 days ago
Bow ⭐ 575
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9most recent commit 7 months ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 4 years ago
Catlab.jl ⭐ 426
A framework for applied category theory in the Julia language
most recent commit 16 days ago
Awesome Applied Ct ⭐ 416
ACT community resources
most recent commit 2 years ago
Mirth ⭐ 396
Compiler for the Mirth programming language.
most recent commit a year ago
Fluokitten ⭐ 394
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13most recent commit 2 years ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 4 years ago
Category Theory Resources ⭐ 367
Resources for learning Category Theory for an enthusiast
most recent commit 3 months ago
Zio Prelude ⭐ 363
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 4total releases 14most recent commit 7 days ago
Scala_typeclassopedia ⭐ 360
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.
most recent commit a day ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 2 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 9 months ago
Fstoolkit.errorhandling ⭐ 323
An opinionated F# Library for error handling
dependent packages 14total releases 80most recent commit 2 days agonuget FsToolkit.ErrorHandling} Downloads
Every Single Day I Tldr ⭐ 286
A daily digest of the articles or videos I've found interesting, that I want to share with you.
most recent commit 2 months ago
Cat ⭐ 283
C++14 functional library
most recent commit 2 months ago
Agda Categories ⭐ 267
A new Categories library for Agda
most recent commit a month ago
Cql ⭐ 216
Categorical Query Language IDE
most recent commit a year ago
Discopy ⭐ 209
a toolbox for computing with monoidal categories
dependent packages 1total releases 38most recent commit 8 days agopypi discopy} Downloads
Bastet ⭐ 203
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 30total releases 22most recent commit a year agonpm bs-abstract} Downloads
Lawvere ⭐ 195
A categorical programming language with effects
most recent commit 2 months ago
Category_theory_machine_learning ⭐ 185
List of papers studying machine learning through the lens of category theory
most recent commit 4 months ago
Idris Ct ⭐ 179
formally verified category theory library
most recent commit 2 years ago
Functional Examples ⭐ 178
Examples with Functional JavaScript, following Professor Frisby's course
most recent commit 2 months ago
Catlab.jl ⭐ 168
A framework for applied category theory in the Julia language
most recent commit 2 years ago
Category Theory For Dotnet Programmers ⭐ 167
This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp
most recent commit 8 months ago
Haskell_study ⭐ 157
Collections of papers and books about Haskell, Type Theory and Category Theory
most recent commit 7 months ago
Categories ⭐ 134
Categories parametrized by morphism equality, in Agda
most recent commit 3 years ago
Neurocat ⭐ 130
From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types
most recent commit 4 years ago
Naive_functional_programming ⭐ 129
A naive approach to functional programming using TypeScript
most recent commit a year ago
Purescript Presto ⭐ 123
Write Apps like Mathematical Equations!
most recent commit 2 years ago
Categorytheory ⭐ 118
[번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
most recent commit 3 years ago
Cql ⭐ 117
CQL: Categorical Query Language implementation in Haskell
most recent commit 2 years ago
Preface ⭐ 115
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
most recent commit a month ago
Awesome Open Science ⭐ 114
some links to projects/tools related to "open science".
most recent commit 5 years ago
Foundational Knowledge For Programmers ⭐ 112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
most recent commit a year ago
Compositional_deep_learning ⭐ 106
Deep learning via category theory and functional programming
most recent commit 2 years ago
Tutorial Cat ⭐ 104
Workshop Pragmatic Introduction to Category Theory
most recent commit a year ago
Fundamental Haskell ⭐ 100
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.
most recent commit 3 months ago
Functional ⭐ 96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
most recent commit a year ago
Ocaml Ctfp ⭐ 89
OCaml version of Category Theory For Programmers
most recent commit 2 years ago
Category Theory For Programmers.kt ⭐ 88
Kotlin sample code for Bartosz Milewski's CT for Programmers
most recent commit 2 years ago
Category Theory For Programmers Challenges ⭐ 86
Challenges from Category Theory for Programmers
most recent commit 9 months ago
Tensorkit.jl ⭐ 84
A Julia package for large-scale tensor computations, with a hint of category theory
most recent commit 8 months ago
Adjoint ⭐ 84
Thoughts on adjoint, norm and such.
most recent commit 4 days ago
The Mlab ⭐ 64
A wiki for collaborative work on totally legitimate "category theory"
most recent commit a year ago
Ctrs ⭐ 60
Category Theory For Programmers (Bartosz Milewski)
most recent commit 4 months ago
Monadic Mondays ⭐ 60
Code samples for #monadicmonday topics
most recent commit 2 years ago
Functors.jl ⭐ 56
Parameterise all the things
most recent commit 3 months ago
Lftcm2020 ⭐ 52
Lean for the Curious Mathematician 2020
most recent commit 13 days ago
Category Theory Notes ⭐ 49
Notes on Category Theory For Programmers by Bartosz Milewski
most recent commit 4 years ago
Catscheatsheet ⭐ 47
This project is to contain a listing of common theorems in elementary category theory.
most recent commit 2 years ago
Purescript Ctprelude ⭐ 46
A Prelude with names from category theory
most recent commit 6 years ago
Caterwaul ⭐ 46
Modeling categories in Dhall.
most recent commit 3 years ago
Cat ⭐ 46
A formalization of category theory in cubical Agda
most recent commit 2 years ago
Aluffi ⭐ 45
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
most recent commit 4 years ago
Data Category ⭐ 44
Library of categories, with categorical constructions on them
most recent commit a year ago
Directsum.jl ⭐ 39
Tangent bundle / vector space category and functors
most recent commit 3 months ago
Lean Category Theory ⭐ 37
An experimental category theory library for Lean
most recent commit 3 years ago
Jsx Tikzcd ⭐ 36
Render tikzcd diagrams with JSX.
most recent commit 2 years ago
Kotlinz ⭐ 35
Functional programming in Kotlin
most recent commit 5 years ago
Fsm Oracle ⭐ 34
Finite state machines as graphs
most recent commit 2 years ago
Abstracttensors.jl ⭐ 32
Tensor algebra abstract type interoperability setup
most recent commit 4 months ago
Letsgo ⭐ 31
Examples of the most important features of this languages.
most recent commit a year ago
Applied Category Theory ⭐ 31
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
most recent commit 4 years ago
Bewl ⭐ 29
A DSL for the internal language of a topos
most recent commit a year ago
Functional Structures Refactoring Kata ⭐ 28
Starting code and proposed solution for Functional Structures Refactoring Kata
most recent commit 2 years ago
Verigraph ⭐ 27
Software specification and verification system based on graph rewriting
most recent commit 3 years ago
Cateno ⭐ 26
A system for computational category theory and applications
most recent commit 6 years ago
Bow Lite ⭐ 26
🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
most recent commit 7 months ago
Homotopy ⭐ 24
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
most recent commit 8 years ago
Ikan ⭐ 24
build tool and package manager for idris,in idris,with free monads
most recent commit 3 years ago
Fp Dictionary ⭐ 24
FP category theory jargon explained on a single A4 page
most recent commit 4 years ago
Meow ⭐ 23
Catless Category Theory in Dotty/Scala 3 meow ~
most recent commit 9 months ago
C3t ⭐ 23
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
most recent commit 3 months ago
Ctlc ⭐ 23
(λ) Category theory and lambda calculus, Bachelor's thesis
most recent commit 4 years ago
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
most recent commit a year ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 3 years ago
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
most recent commit 2 years ago
Notes Milewski Ctfp Hs ⭐ 22
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
most recent commit 3 years ago
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
most recent commit 4 years ago
Categorytheoryforprogrammers ⭐ 22
Notes from Category Theory for Programmers lessons by Bartosz Milewski
most recent commit 5 years ago
Petri.jl ⭐ 22
A Petri net modeling framework for the Julia programming language
most recent commit 8 months ago
Feval ⭐ 22
evaluation using f-algebras
most recent commit 7 years ago
Advanced Functional Resources ⭐ 22
most recent commit 2 months ago
Category Parametric Talk ⭐ 22
Talks on category-parametric programming.
most recent commit 2 years ago
Opycleid ⭐ 21
Opycleid - A Python package for transformational music theory
most recent commit 4 months ago
Algebraicrelations.jl ⭐ 21
Relational Algebra, now with more algebra!
most recent commit 7 months ago
Categorifier ⭐ 20
Interpret Haskell programs into any cartesian closed category.
most recent commit 15 hours ago
Smproc ⭐ 19
A well-typed symmetric-monoidal category of concurrent processes
most recent commit 4 years ago
Hott Categories ⭐ 19
A category theory library built on top of Homotopy Type Theory, by Jason Gross
most recent commit 8 years ago
1-100 of 261 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,047,598)
Python  (795,011)
Java  (385,045)
Php  (284,473)
Typescript  (239,038)
C Plus Plus  (235,900)
Ruby  (221,657)
C  (180,208)
Shell  (169,403)
C Sharp  (161,845)
Golang  (155,856)
Swift  (64,653)
Objective C  (57,178)
R  (57,161)
Rust  (55,946)
Dart  (51,340)
Kotlin  (45,393)
Lua  (33,206)
Matlab  (30,856)
Perl  (30,490)
Language  (30,079)
Scala  (28,595)
Haskell  (20,234)
Clojure  (19,069)
Powershell  (18,787)
Bash  (18,591)
Coffeescript  (17,333)
Elixir  (16,566)
Assembly  (14,516)
Processing  (13,295)
Julia  (12,513)
Basic  (10,765)
Flow  (10,526)
Emacs Lisp  (10,355)
Erlang  (9,058)
Scheme  (8,438)
Groovy  (8,428)
Solidity  (7,564)
Ocaml  (6,663)
Pascal  (6,379)
Hack  (6,363)
Lisp  (6,344)
Fortran  (5,481)
Elm  (5,476)
Common Lisp  (5,289)
Dlang  (4,743)
Shell Script  (4,624)
Python Library  (4,446)
Crystal  (4,375)
Scripting  (4,201)
Top Projects
Freecodecamp ⭐ 346,151
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,248
Coding Interview University ⭐ 219,820
Awesome ⭐ 201,987
Vue ⭐ 196,009
Developer Roadmap ⭐ 194,992
Public Apis ⭐ 192,383
React ⭐ 188,186
System Design Primer ⭐ 180,789
Tensorflow ⭐ 165,018
Bootstrap ⭐ 157,351
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,307
Build Your Own X ⭐ 141,474
Flutter ⭐ 140,756
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,147
Gitignore ⭐ 133,164
Linux ⭐ 131,965
Vscode ⭐ 131,861
Awesome Python ⭐ 127,528
Javascript ⭐ 122,717
Javaguide ⭐ 121,544
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,435
Youtube Dl ⭐ 110,082
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,796
Electron ⭐ 101,752
D3 ⭐ 100,901
Go ⭐ 99,330
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,065
Axios ⭐ 93,441
Awesome Selfhosted ⭐ 88,803
Kubernetes ⭐ 88,536
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,714
Next.js ⭐ 86,918
Terminal ⭐ 83,169
Deno ⭐ 82,506
Three.js ⭐ 82,078
Angular ⭐ 81,428
Awesome Go ⭐ 80,764
Typescript ⭐ 80,742
Ant Design ⭐ 80,353
Material Ui ⭐ 78,521
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.