indexing

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

APACHE-2.0 License

Downloads
33K
Stars
101
Committers
1
View Code on GitHub Visit Website
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
0
333
Total Committers
0
1
Avg. Commits Per Committer
0.0
333.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
10
Merged Pull Requests
0
10
Total Issues
0
7
Time to Close Issues
N/A
6 months
Package Rankings
Top 18.54% on Crates.io
Related Projects
rust-base64-compat

base64 crate for Rust that supports rustc v0.19.0 and newer

12 Sep 2019 1
unchecked-index

Unchecked indexing and debug-assertion checked indexing through the regular index syntax.

08 Oct 2017 7
rust-asdi

Another Simplistic Datalog Implementation (in Rust)

03 Dec 2021 3
cxx

Safe interop between Rust and C++

27 Dec 2019 5,580
str_indices

Count and convert between various ways of indexing utf8 string slices.

11 Mar 2022 16
odds

Odds and ends — collection miscellania. Extra functionality for slices, strings and other things

02 Jun 2015 21
miri

An interpreter for Rust's mid-level intermediate representation

12 Nov 2015 3,909
warnalyzer

Show unused code from multi-crate Rust projects

30 May 2019 91
index-ext

More indexing options for Rust slices

05 Apr 2020 9
index_vec

A Rust library offering newtyped indices and vecs that use those indices

08 Sep 2019 13
new-rust-project

Erich's preferred starter kit for new Github projects using Rust.

14 Jun 2019 6
rust-bitcoin

Rust Bitcoin library

18 Jul 2014 1,914
twoway

Twoway / Fast substring search for strings and byte strings (Rust) / Also assorted benchmarks and...

15 Jun 2015 65
bencher

bencher is just a port of the libtest (unstable) benchmark runner to Rust stable releases. `cargo...

18 Aug 2016 84
thindx

Thin DirectX wrappers for Rust.

28 Nov 2020 9