sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

Rust420 stars14 forksMIT

compilerdependent-typestype-inferencetype-systemtype-theory

Rankings

Daily

#11609

Weekly

#8055

Monthly

#8300

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/sdiehl/typechecker-zoo.svg)

HTML

<img src="https://trending-repos.com/badge/sdiehl/typechecker-zoo.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/sdiehl/typechecker-zoo.svg