/indexing

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

Primary LanguageRustApache License 2.0Apache-2.0

Stargazers