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

nrc/libhoare

Design by contract style assertions for Rust

Owner
nrc (personal account)
Stars
Stars: 260
Forks
Forks: 15
Language
Rust
License
None
Created
2014
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by nrc

All 7 repos by nrc

Nearby in Rust

All Rust repos