49 results found Sort:
- Filter by Primary Language:
- Haskell (7)
- Julia (4)
- Rust (4)
- Scala (4)
- JavaScript (4)
- OCaml (2)
- Python (2)
- Coq (2)
- TypeScript (2)
- Agda (1)
- Shell (1)
- Swift (1)
- TeX (1)
- Java (1)
- Clojure (1)
- CSS (1)
- Dhall (1)
- Emacs Lisp (1)
- F# (1)
- Go (1)
- HTML (1)
- Idris (1)
- +
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Created
2017-09-02
346 commits to master branch, last one 4 days ago
Programming Language Theory λΠ
Created
2013-07-30
254 commits to main branch, last one a day ago
A modern commutative diagram editor for the web.
Created
2018-12-28
431 commits to master branch, last one 8 days ago
A simple visual editor for creating commutative diagrams.
Created
2017-08-16
329 commits to master branch, last one 4 years ago
A library for functional programming in Rust
Created
2019-05-29
278 commits to master branch, last one 4 years ago
List of papers studying machine learning through the lens of category theory
Created
2020-07-09
92 commits to master branch, last one about a month ago
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Created
2018-10-05
273 commits to master branch, last one 2 years ago
An axiom-free formalization of category theory in Coq for personal study and practical work
Created
2014-07-04
1,548 commits to master branch, last one 5 days ago
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Created
2018-03-07
906 commits to master branch, last one 3 years ago
A framework for applied category theory in the Julia language
Created
2017-04-04
2,996 commits to main branch, last one about a month ago
An opinionated F# Library for error handling
Created
2018-07-21
669 commits to master branch, last one about a month ago
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Created
2013-05-19
156 commits to master branch, last one 6 months ago
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Created
2020-03-02
1,157 commits to series/2.x branch, last one 2 days ago
Programming language agnostic type construction language based on polynomials.
Created
2017-10-09
423 commits to master branch, last one 3 years ago
The Python toolkit for computing with string diagrams.
Created
2019-10-11
1,958 commits to main branch, last one 5 days ago
A book about category theory
Created
2019-02-15
274 commits to master branch, last one 7 hours ago
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Created
2016-10-07
3,242 commits to master branch, last one a day ago
Categorical Query Language IDE
Created
2019-03-13
128 commits to master branch, last one about a month ago
A categorical programming language with effects
Created
2020-12-05
88 commits to master branch, last one about a year ago
The agda-unimath library
trees
species
ring-theory
graph-theory
group-theory
order-theory
finite-groups
number-theory
type-theories
category-theory
structured-types
universal-algebra
commutative-algebra
higher-group-theory
homotopy-type-theory
univalent-foundations
univalent-mathematics
univalent-combinatorics
synthetic-homotopy-theory
orthogonal-factorization-systems
Created
2021-11-19
2,865 commits to master branch, last one 12 days ago
A ReasonML/Ocaml library for category theory and abstract algebra
This repository has been archived
(exclude archived)
Created
2017-12-27
210 commits to master branch, last one 3 years ago
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Created
2020-11-26
800 commits to develop branch, last one 5 days ago
Examples with Functional JavaScript, following Professor Frisby's course
Created
2016-12-09
162 commits to master branch, last one about a year ago
Thoughts on adjoint, norm and such.
Created
2020-01-06
150 commits to master branch, last one about a year ago
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Created
2020-03-29
38 commits to master branch, last one 3 years ago
CQL: Categorical Query Language implementation in Haskell
Created
2018-07-12
233 commits to master branch, last one 4 years ago
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Created
2019-08-22
715 commits to master branch, last one about a year ago
A naive approach to functional programming using TypeScript
Created
2020-02-17
36 commits to master branch, last one 3 years ago
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 me...
Created
2018-03-23
3,635 commits to master branch, last one 2 years ago
Parameterise all the things
Created
2020-04-14
211 commits to master branch, last one 5 days ago