AlphaUncommon
tsoding/Noq
Simple expression transformer that is not Coq.
- Owner
- tsoding (organization)
- Stars
- Stars: 273
- Forks
- Forks: 26
- Language
- Rust
- License
- MIT
- Created
- 2022
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by tsoding
All 64 repos by tsoding- tsoding/nob.hStars: 3,372C++RC
- tsoding/olive.cStars: 2,468C++RC
- tsoding/musializerStars: 1,500CBeta
- tsoding/boomerStars: 875NimBeta
- tsoding/arenaStars: 854CBeta
- tsoding/dedStars: 720CBeta
Nearby in Rust
All Rust repos- AnyiWang/OpenCovibeStars: 273RustAlpha
- litvinovtd/qeliStars: 273RustAlpha
- chyinan/OpenJOCStars: 273RustAlpha
- BurntSushi/tabwriterStars: 273RustAlpha
- Thinkofname/stevenStars: 273RustAlpha
- bluss/matrixmultiplyStars: 273RustAlpha