Ttstar
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| 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》的中文翻译 | ||||||||||
| Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
| Chymyst Core | 146 | 1 | 2 years ago | 3 | June 06, 2017 | 5 | apache-2.0 | Scala | ||
| Declarative concurrency in Scala - The implementation of the chemical machine | ||||||||||
| Awesome Functional Studies | 143 | 2 years ago | ||||||||
| A curated list of functional programming resources to study the fp paradigm | ||||||||||
| Icfp2016 Papers | 143 | 7 years ago | ||||||||
| Link to preprints for ICFP'16 and co-located events | ||||||||||
| Malc | 69 | 3 years ago | 1 | other | Python | |||||
| Make a lambda calculus. | ||||||||||
| Lambda | 65 | 3 years ago | JavaScript | |||||||
| Fun with λ calculus! | ||||||||||
| Type Theory Compiler | 38 | 5 years ago | Haskell | |||||||
| Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR. | ||||||||||
| Python Lambda Calculus | 29 | 5 years ago | mit | Python | ||||||
| Lambda Calculus things implemented on Python | ||||||||||
Alternatives To TtstarSelect To Compare
Alternative Project Comparisons
Popular Calculus Projects
Popular Functional Programming Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Functional Programming
Scheme
Codegen
Calculus
Dependent Types
Typechecker