sdiehl/typechecker-zoo

GitHub

A menagerie of cute implementations of modern typechecking algorithms

Rust458 stars19 forksMIT

compiler dependent-types type-inference type-system type-theory

Momentum

sdiehl/typechecker-zoo has 458 GitHub stars.

It currently ranks #35859 daily, #36098 weekly, #37270 monthly by momentum on Trending Repos; its best-ever rank is #4093.

Trending Repos first recorded it on May 17, 2026.

Rankings

PeriodRankScore

Daily

#358590.0

Weekly

#360980.0

Monthly

#372700.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4093

Format

Markdown

[![sdiehl/typechecker-zoo badge](https://trending-repos.com/badge/sdiehl/typechecker-zoo.svg?v=3)](https://trending-repos.com/repositories/sdiehl/typechecker-zoo?utm_source=github&utm_medium=badge)

sdiehl/typechecker-zoo

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

sdiehl/typechecker-zoo

Momentum

Rankings

Engagement

Similar trending repositories

Embeds