PrototypeCommon
bluss/indexing
Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
- Owner
- bluss (personal account)
- Stars
- Stars: 109
- Forks
- Forks: 0
- Language
- Rust
- License
- Apache-2.0
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by bluss
All 5 repos by bluss- bluss/arrayvecStars: 915RustBeta
- bluss/scopeguardStars: 570RustAlpha
- bluss/maplitStars: 400RustAlpha
- bluss/matrixmultiplyStars: 273RustAlpha
Nearby in Rust
All Rust repos- icodesign/remote-installerStars: 109RustPrototype
- Dicklesworthstone/frankensonosStars: 109RustPrototype
- skate6743/skate2-rust-portStars: 109RustPrototype
- reem/rust-eventStars: 109RustPrototype
- tmerr/i3ipc-rsStars: 109RustPrototype
- erickt/statefulStars: 109RustPrototype