Cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Open Source Cs | 17,397 | 6 months ago | 31 | mit | ||||||
| Video discussing this curriculum: | ||||||||||
| Plt | 5,018 | 9 months ago | CSS | |||||||
| Programming Language Theory λΠ | ||||||||||
| Functional Programming For The Rest Of Us Cn | 1,448 | 3 years ago | ||||||||
| 文章《Functional Programming For The Rest of Us》的中文翻译 | ||||||||||
| Online Courses Learning | 318 | a year ago | 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 | 305 | 3 years ago | 46 | other | Agda | |||||
| Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations | ||||||||||
| Awesome Functional Studies | 143 | 2 years ago | ||||||||
| A curated list of functional programming resources to study the fp paradigm | ||||||||||
| Book Reviews | 137 | 8 years ago | ||||||||
| Malc | 69 | 3 years ago | 1 | other | Python | |||||
| Make a lambda calculus. | ||||||||||
| Computer Science | 60 | 5 years ago | 1 | mit | ||||||
| 🎓 Path to a free self-taught education in Computer Science! | ||||||||||
| Shen C | 54 | 2 years ago | 1 | C | ||||||
| A C implementation of the Shen programming language | ||||||||||
Alternatives To CedilleSelect To Compare
Alternative Project Comparisons
Popular Calculus Projects
Popular Programming Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Programming
Emacs
Lambda Functions
Programming Language
Calculus
Elisp
Lambda Calculus
Dependent Types