Mini Yu

A dependently typed programming language prototype
Alternatives To Mini Yu
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Postfix Haskell2226 months ago14July 06, 20232gpl-3.0TypeScript
A low-level, postfix, functional programming language that compiles to WebAssembly
Mini Yu5
2 years agomitHaskell
A dependently typed programming language prototype
Alternatives To Mini Yu
Select To Compare


Alternative Project Comparisons
Popular Functional Programming Projects
Popular Postfix Projects
Popular Software Development Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Functional Programming
Programming Language
Postfix
Dependent Types
Type Theory