Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lambda Talk | 246 | 4 years ago | mit | JavaScript | ||||||
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
Ctlc | 23 | 5 years ago | 1 | Agda | ||||||
(λ) Category theory and lambda calculus, Bachelor's thesis | ||||||||||
Purity Project | 12 | 5 years ago | mit | Scala | ||||||
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style. | ||||||||||
Math O Matic | 6 | 7 months ago | 26 | mit | TypeScript | |||||
Computerized proof system on the web | ||||||||||
Tag_export | 6 | 7 years ago | mit | |||||||
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science) |