| 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/) |
| egraphs-good/egg |
1,164 |
|
0 |
6 |
over 2 years ago |
23 |
June 29, 2023 |
20 |
mit |
Rust |
| egg is a flexible, high-performance e-graph library |
| 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 |
| cedille/cedille |
305 |
|
0 |
0 |
over 4 years ago |
0 |
|
46 |
other |
Agda |
| Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations |
| 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 |
