| liuxinyu95/unplugged |
2,821 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
|
TeX |
| Open book about math and programming. |
| AlgebraicJulia/Catlab.jl |
563 |
|
0 |
0 |
about 2 years ago |
0 |
|
142 |
mit |
Julia |
| A framework for applied category theory in the Julia language |
| onlurking/category-theory-for-programmers |
381 |
|
0 |
0 |
over 7 years ago |
0 |
|
2 |
|
CSS |
| e-book version of Bartosz Milewski's Category Theory for Programmers |
| mmenestret/fp-resources |
350 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
|
|
| Functional programming great resources |
| Risto-Stevcev/bastet |
214 |
|
30 |
32 |
about 3 years ago |
22 |
February 27, 2020 |
1 |
bsd-3-clause |
OCaml |
| A ReasonML/Ocaml library for category theory and abstract algebra |
| pilgwon/CategoryTheory |
118 |
|
0 |
0 |
almost 7 years ago |
0 |
|
0 |
|
|
| [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers) |
| functionalland/functional |
96 |
|
0 |
0 |
almost 5 years ago |
0 |
|
0 |
mit |
JavaScript |
| Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno. |
| fdilke/bewl |
55 |
|
0 |
0 |
over 2 years ago |
0 |
|
3 |
|
Scala |
| A DSL for the internal language of a topos |
| srcreigh/aluffi |
45 |
|
0 |
0 |
over 8 years ago |
0 |
|
4 |
|
TeX |
| Solutions to Paolo Aluffi's "Algebra: Chapter 0". |
| AlgebraicJulia/AlgebraicRelations.jl |
44 |
|
0 |
0 |
over 2 years ago |
0 |
|
15 |
mit |
Julia |
| Relational Algebra, now with more algebra! |
