ammkrn/nanoda_lib

Library implementing type inference/checking functionality based on the Lean theorem prover

Rust196 stars33 forksApache-2.0

Momentum

ammkrn/nanoda_lib has 196 GitHub stars.

It currently ranks #20475 daily, #21234 weekly, #23815 monthly by momentum on Trending Repos; its best-ever rank is #14007.

Rankings

PeriodRankScore

Daily

#204750.0

Weekly

#212340.0

Monthly

#238150.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #14007

Format

Markdown

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

ammkrn/nanoda_lib

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

ammkrn/nanoda_lib

Momentum

Rankings

Engagement

Similar trending repositories

Embeds