Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Nasc | 450 | 2 years ago | 9 | gpl-3.0 | Vala | |||||
Do maths like a normal person | ||||||||||
Mikrokosmos | 52 | 3 years ago | 7 | August 01, 2018 | 1 | gpl-3.0 | Haskell | |||
(λ) Educational lambda calculus interpreter | ||||||||||
Awesome Steam | 48 | 6 months ago | 2 | cc0-1.0 | ||||||
An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can use to supplement their learning | ||||||||||
Awesome Calculus | 29 | 3 years ago | 2 | cc0-1.0 | ||||||
:tropical_drink: A list of awesome resources I used to study Calculus. | ||||||||||
Lambdalab | 8 | 5 years ago | mit | TypeScript | ||||||
interactive λ-calculus for learning | ||||||||||
Mosaiccalc | 7 | 2 | 5 | a year ago | 3 | September 15, 2022 | 14 | R | ||
Calculus in R | ||||||||||
Lambda Mu Mu Calculus | 5 | 4 years ago | mit | Haskell | ||||||
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes). |