Kind
A next-gen functional language
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Kind | 3,420 | | 2 | 5 months ago | 105 | February 15, 2023 | 53 | mit | Rust | |
| A next-gen functional language | ||||||||||
| Write You A Haskell | 2,744 | 5 years ago | 21 | mit | Haskell | |||||
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | ||||||||||
| Magic In Ten Mins | 693 | 8 months ago | 2 | cc-by-4.0 | HTML | |||||
| 十分钟魔法练习 | ||||||||||
| Fp Core.rs | 644 | 4 years ago | 25 | mit | Rust | |||||
| A library for functional programming in Rust | ||||||||||
| Plam | 441 | 3 years ago | 4 | mit | Haskell | |||||
| An interpreter for learning and exploring pure λ-calculus | ||||||||||
| Lambda | 287 | 4 years ago | 1 | JavaScript | ||||||
| 🔮 Estudos obscuros de programação funcional | ||||||||||
| Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
| Curryhoward | 232 | 3 years ago | 15 | August 23, 2021 | 5 | apache-2.0 | Scala | |||
| Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism | ||||||||||
| Cognate | 196 | 3 months ago | 3 | bsd-2-clause | C | |||||
| A human readable quasi-concatenative programming language | ||||||||||
| Y Combinator For Non Programmers | 145 | a year ago | TypeScript | |||||||
| 🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science | ||||||||||
Alternatives To KindSelect To Compare
Alternative Project Comparisons
Popular Functional Programming Projects
Popular Lambda Calculus Projects
Popular Software Development Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Functional Programming
Lambda Calculus
Dependent Types
Type Theory