| hmemcpy/milewski-ctfp-pdf |
10,547 |
|
0 |
0 |
over 2 years ago |
0 |
|
53 |
other |
TeX |
| Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source |
| steshaw/plt |
5,018 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
CSS |
| Programming Language Theory λΠ |
| 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 |
| 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 |
| jwbuurlage/category-theory-programmers |
452 |
|
0 |
0 |
about 8 years ago |
0 |
|
2 |
mit |
|
| Category theory in the context of (functional) programming |
| zio/zio-prelude |
430 |
|
0 |
44 |
about 2 years ago |
18 |
September 17, 2023 |
98 |
apache-2.0 |
Scala |
| A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration |
| 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. |
| mmenestret/fp-resources |
350 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
|
|
| Functional programming great resources |
| CategoricalData/CQL |
216 |
|
0 |
0 |
almost 5 years ago |
0 |
|
38 |
agpl-3.0 |
Java |
| Categorical Query Language IDE |
