← All repos

bluss/indexing

View on GitHub ↗ ★ 109 Rust

Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.

5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2016-01-12 · latest 2023-01-24