Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

ammkrn/nanoda_lib

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

Owner: ammkrn (personal account)
Stars: Stars: 223
Forks: Forks: 43
Language: Rust
License: Apache-2.0
Created: 2020
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Rust

Louisym/MiniCCStars: 223RustPrototype
bamboostrip/Handwriting-sim-rsStars: 223RustPrototype
sysprog21/codetrialStars: 223RustPrototype
hyperium/mimeStars: 223RustPrototype
snowplow/factotumStars: 223RustPrototype
matrix-org/matrix-ircdStars: 223RustPrototype