| ForrestKnight/open-source-cs |
17,397 |
|
0 |
0 |
over 2 years ago |
0 |
|
31 |
mit |
|
| Video discussing this curriculum: |
| steshaw/plt |
5,018 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
CSS |
| Programming Language Theory λΠ |
| justinyhuang/Functional-Programming-For-The-Rest-of-Us-Cn |
1,448 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
|
|
| 文章《Functional Programming For The Rest of Us》的中文翻译 |
| MrinmoiHossain/Online-Courses-Learning |
318 |
|
0 |
0 |
about 3 years ago |
0 |
|
2 |
mit |
JavaScript |
| Contains the online course about Data Science, Machine Learning, Programming Language, Operating System, Mechanial Engineering, Mathematics and Robotics provided by Coursera, Udacity, Linkedin Learning, Udemy and edX. |
| 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 |
| lambda-study-group/awesome-functional-studies |
143 |
|
0 |
0 |
almost 4 years ago |
0 |
|
0 |
|
|
| A curated list of functional programming resources to study the fp paradigm |
| ultimate-lambda/book-reviews |
137 |
|
0 |
0 |
almost 10 years ago |
0 |
|
0 |
|
|
| sjsyrek/malc |
69 |
|
0 |
0 |
over 5 years ago |
0 |
|
1 |
other |
Python |
| Make a lambda calculus. |
| kottans/computer-science |
60 |
|
0 |
0 |
about 7 years ago |
0 |
|
1 |
mit |
|
| 🎓 Path to a free self-taught education in Computer Science! |
| otabat/shen-c |
54 |
|
0 |
0 |
over 4 years ago |
0 |
|
1 |
|
C |
| A C implementation of the Shen programming language |