| steshaw/plt |
5,018 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
CSS |
| Programming Language Theory λΠ |
| JasonShin/fp-core.rs |
644 |
|
0 |
0 |
over 5 years ago |
0 |
|
25 |
mit |
Rust |
| A library for functional programming in Rust |
| jwbuurlage/category-theory-programmers |
452 |
|
0 |
0 |
about 8 years ago |
0 |
|
2 |
mit |
|
| Category theory in the context of (functional) programming |
| mirth-lang/mirth |
426 |
|
0 |
0 |
about 2 years ago |
0 |
|
2 |
0bsd |
C |
| Compiler for the Mirth programming language. |
| mmenestret/fp-resources |
350 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
|
|
| Functional programming great resources |
| typedefs/typedefs |
343 |
|
0 |
0 |
over 4 years ago |
0 |
|
54 |
agpl-3.0 |
Idris |
| Programming language agnostic type construction language based on polynomials. |
| err0r500/foundational-knowledge-for-programmers |
112 |
|
0 |
0 |
about 5 years ago |
0 |
|
0 |
|
|
| List of resources about foundational knowledge for programmers (supposed to last a few decades) |
| dimitris-papadimitriou-chr/advanced-functional-resources |
24 |
|
0 |
0 |
over 3 years ago |
0 |
|
0 |
|
|
| jpvillaisaza/cain |
23 |
|
0 |
0 |
about 7 years ago |
0 |
|
2 |
|
TeX |
| Category theory applied to functional programming (undergraduate project) |
| sellout/category-parametric-talk |
22 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
|
Scala |
| Talks on category-parametric programming. |