| thma/LtuPatternFactory |
958 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
apache-2.0 |
Haskell |
| Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns |
| jwiegley/category-theory |
720 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
bsd-3-clause |
Coq |
| An axiom-free formalization of category theory in Coq for personal study and practical work |
| JasonShin/fp-core.rs |
644 |
|
0 |
0 |
over 5 years ago |
0 |
|
25 |
mit |
Rust |
| A library for functional programming in Rust |
| bow-swift/bow |
643 |
|
4 |
0 |
over 3 years ago |
9 |
April 30, 2020 |
12 |
other |
Swift |
| 🏹 Bow is a cross-platform library for Typed Functional Programming in Swift |
| uncomplicate/fluokitten |
450 |
|
0 |
0 |
over 2 years ago |
13 |
February 10, 2020 |
2 |
epl-1.0 |
Clojure |
| Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more. |
| lemastero/scala_typeclassopedia |
374 |
|
0 |
0 |
over 2 years ago |
0 |
|
31 |
cc-by-sa-4.0 |
Scala |
| Abstractions from Category theory with simple description & implementation, links to further resources. |
| agda/agda-categories |
341 |
|
0 |
0 |
about 2 years ago |
0 |
|
54 |
mit |
Agda |
| A new Categories library for Agda |
| dmitriz/functional-examples |
179 |
|
0 |
0 |
almost 3 years ago |
0 |
|
1 |
mit |
JavaScript |
| Examples with Functional JavaScript, following Professor Frisby's course |
| mandubian/neurocat |
130 |
|
0 |
0 |
about 8 years ago |
0 |
|
1 |
apache-2.0 |
Scala |
| From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types |
| DanielaSfregola/tutorial-cat |
104 |
|
0 |
0 |
almost 5 years ago |
0 |
|
0 |
apache-2.0 |
Scala |
| Workshop Pragmatic Introduction to Category Theory |