# ammkrn/nanoda\_lib

<https://repo.masters-masters.com/en/repos/ammkrn/nanoda_lib>

[Home](https://repo.masters-masters.com/en) › [ammkrn](https://repo.masters-masters.com/en/owners/ammkrn) › [nanoda\_lib](https://repo.masters-masters.com/en/repos/ammkrn/nanoda_lib)

ammkrn/nanoda\_lib has 223 stars on GitHub. Its RepoMasters card: Prototype tier. Library implementing type inference/checking functionality based on the Lean…

| Field | Value |
| --- | --- |
| Owner | [ammkrn](https://repo.masters-masters.com/en/owners/ammkrn) |
| Stars | 223 |
| Forks | 43 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2020 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ammkrn/nanoda\_lib](https://github.com/ammkrn/nanoda_lib) |

## Repository

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

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

## Nearby in Rust

- [Louisym/MiniCC · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Louisym/MiniCC)
- [bamboostrip/Handwriting-sim-rs · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/bamboostrip/Handwriting-sim-rs)
- [sysprog21/codetrial · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/sysprog21/codetrial)
- [hyperium/mime · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/hyperium/mime)
- [snowplow/factotum · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/snowplow/factotum)
- [matrix-org/matrix-ircd · ★ 223 · Rust · Prototype](https://repo.masters-masters.com/en/repos/matrix-org/matrix-ircd)

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