47 results found Sort:
- Filter by Primary Language:
- Haskell (6)
- JavaScript (4)
- Julia (4)
- Rust (4)
- Scala (4)
- TypeScript (2)
- Python (2)
- OCaml (2)
- HTML (1)
- Idris (1)
- Agda (1)
- Shell (1)
- Swift (1)
- TeX (1)
- Java (1)
- Clojure (1)
- Coq (1)
- CSS (1)
- Dhall (1)
- Emacs Lisp (1)
- F# (1)
- Go (1)
- +
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Created
2017-09-02
340 commits to master branch, last one about a month ago
Programming Language Theory λΠ
Created
2013-07-30
253 commits to main branch, last one 10 months ago
A modern commutative diagram editor for the web.
Created
2018-12-28
420 commits to master branch, last one 5 days ago
A simple visual editor for creating commutative diagrams.
Created
2017-08-16
329 commits to master branch, last one 3 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
78 commits to master branch, last one a day 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,527 commits to master branch, last one 2 months ago
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Created
2018-03-07
906 commits to master branch, last one 2 years ago
A framework for applied category theory in the Julia language
Created
2017-04-04
2,948 commits to main branch, last one 16 days ago
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Created
2013-05-19
156 commits to master branch, last one 28 days ago
An opinionated F# Library for error handling
Created
2018-07-21
656 commits to master branch, last one 16 days ago
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Created
2020-03-02
1,082 commits to series/2.x branch, last one 13 days ago
Programming language agnostic type construction language based on polynomials.
Created
2017-10-09
423 commits to master branch, last one 2 years ago
The Python toolkit for computing with string diagrams.
Created
2019-10-11
1,953 commits to main branch, last one about a month ago
A book about category theory
Created
2019-02-15
258 commits to master branch, last one 8 days 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,164 commits to master branch, last one 5 days ago
Categorical Query Language IDE
Created
2019-03-13
119 commits to master branch, last one 12 days ago
A categorical programming language with effects
Created
2020-12-05
88 commits to master branch, last one about a year 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
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,801 commits to master branch, last one 7 days ago
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Created
2020-11-26
790 commits to develop branch, last one about a month ago
Examples with Functional JavaScript, following Professor Frisby's course
Created
2016-12-09
162 commits to master branch, last one 11 months 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
Thoughts on adjoint, norm and such.
Created
2020-01-06
150 commits to master branch, last one about a year 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
201 commits to master branch, last one 9 days ago