# JDemler/BidirectionalTypechecking

<https://repo.masters-masters.com/en/repos/JDemler/BidirectionalTypechecking>

[Home](https://repo.masters-masters.com/en) › [JDemler](https://repo.masters-masters.com/en/owners/JDemler) › [BidirectionalTypechecking](https://repo.masters-masters.com/en/repos/JDemler/BidirectionalTypechecking)

JDemler/BidirectionalTypechecking has 120 stars on GitHub. Its RepoMasters card: Prototype tier. Implementation of "Complete and Easy Bidirectional…

| Field | Value |
| --- | --- |
| Owner | [JDemler](https://repo.masters-masters.com/en/owners/JDemler) |
| Stars | 120 |
| Forks | 9 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | None |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [JDemler/BidirectionalTypechecking](https://github.com/JDemler/BidirectionalTypechecking) |

## Repository

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Rust

- [FoxDevCommunity/FoxDevStudio · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/FoxDevCommunity/FoxDevStudio)
- [becaring/SK8V · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/becaring/SK8V)
- [michaelshimeles/bible-rs · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/michaelshimeles/bible-rs)
- [dtantsur/rust-dht · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/dtantsur/rust-dht)
- [jjkt/zmu · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/jjkt/zmu)
- [SpaceManiac/opus-rs · ★ 120 · Rust · Prototype](https://repo.masters-masters.com/en/repos/SpaceManiac/opus-rs)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.