Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Bidirectionaltypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Stars
71
License
No license specified
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
Rust
Categories
Repo
Alternatives To Bidirectionaltypechecking
Select To Compare
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240most recent commit 4 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24most recent commit 4 months ago
Felix ⭐ 766
The Felix Programming Language
most recent commit 4 months ago


Suggest An Alternative To BidirectionalTypechecking
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Polymorphism
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.