Aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Haskell Resources | 824 | 2 years ago | other | JavaScript | ||||||
| A List of Foundational Haskell Papers | ||||||||||
| Aith | 54 | 4 months ago | gpl-3.0 | Haskell | ||||||
| [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions. | ||||||||||
| Linearml | 22 | 7 years ago | gpl-3.0 | OCaml | ||||||
| A simple implementation of linear type theory | ||||||||||
| System F | 18 | 5 years ago | Coq | |||||||
| Formalization of the polymorphic lambda calculus and its parametricity theorem | ||||||||||
| Deriv | 6 | 5 years ago | 6 | Java | ||||||
| A symbolic derivative calculator REST API and Java library | ||||||||||
Alternatives To AithSelect To Compare
Alternative Project Comparisons
Popular Polymorphism Projects
Popular Calculus Projects
Popular Computer Science Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Language
Haskell
Macro
Calculus
Polymorphism