bluss/indexing

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

语言：Rust · GitHub 星标：109 · Fork：0

在 GitHub 上查看原仓库