Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Functional Programming | 1,117 | 3 months ago | 7 | other | TypeScript | |||||
Introduction to Functional Programming using TypeScript and fp-ts. | ||||||||||
Fp Resources | 350 | 4 years ago | ||||||||
Functional programming great resources | ||||||||||
Optimus | 130 | 7 | 2 years ago | 10 | September 26, 2020 | lgpl-3.0 | Scala | |||
Optimus is a mathematical programming library for Scala. | ||||||||||
Lever | 99 | 6 years ago | 1 | mit | HTML | |||||
A programming language in the Perl/Python/Ruby group | ||||||||||
Laop | 79 | 9 months ago | June 06, 2020 | 9 | mit | Haskell | ||||
Linear Algebra of Programming - Algebraic Matrices in Haskell | ||||||||||
Notebooks | 65 | 9 years ago | Python | |||||||
Programming Exercises | ||||||||||
Aopa | 61 | 8 years ago | Agda | |||||||
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation | ||||||||||
Computer Science | 60 | 5 years ago | 1 | mit | ||||||
🎓 Path to a free self-taught education in Computer Science! | ||||||||||
Aftercsintro | 52 | 4 years ago | ||||||||
Finished with your first programming course and not sure how to go on? The Stanford Code in Place team shares a roadmap with what courses to follow and where to find information about them | ||||||||||
Datascienceresources | 46 | 6 years ago | unlicense | |||||||
数据科学相关的学习资源,例如MOOC课程,OCW课程,电子书等等。 |