| HigherOrderCO/Kind |
3,354 |
|
0 |
2 |
over 2 years ago |
105 |
February 15, 2023 |
53 |
mit |
Rust |
| A next-gen functional language |
| sdiehl/write-you-a-haskell |
2,744 |
|
0 |
0 |
over 6 years ago |
0 |
|
21 |
mit |
Haskell |
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| niltok/magic-in-ten-mins |
693 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
cc-by-4.0 |
HTML |
| 十分钟魔法练习 |
| JasonShin/fp-core.rs |
644 |
|
0 |
0 |
over 5 years ago |
0 |
|
25 |
mit |
Rust |
| A library for functional programming in Rust |
| slovnicki/pLam |
430 |
|
0 |
0 |
about 5 years ago |
0 |
|
4 |
mit |
Haskell |
| An interpreter for learning and exploring pure λ-calculus |
| pagarme/lambda |
287 |
|
0 |
0 |
over 6 years ago |
0 |
|
1 |
|
JavaScript |
| 🔮 Estudos obscuros de programação funcional |
| glebec/lambda-talk |
246 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
mit |
JavaScript |
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS |
| Chymyst/curryhoward |
232 |
|
0 |
0 |
over 4 years ago |
15 |
August 23, 2021 |
5 |
apache-2.0 |
Scala |
| Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism |
| cognate-lang/cognate |
196 |
|
0 |
0 |
about 2 years ago |
0 |
|
3 |
bsd-2-clause |
C |
| A human readable quasi-concatenative programming language |
| chibicode/Y-Combinator-for-Non-programmers |
145 |
|
0 |
0 |
over 3 years ago |
0 |
|
0 |
|
TypeScript |
| 🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science |
