nikomatsakis/bidir-type-infer
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
Prototype of PJS API based on typed objects.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
Artifacts relevant to the various Rust subteams
Public repository.
Experimental persistent collections in Rust