Yoric / yaiouom
Prototype extension of the Rust type system towards checking units-of-measure
☆108Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for yaiouom
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆98Updated 4 months ago
- Token tree calling convention☆80Updated last year
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆101Updated 5 years ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Compact sets in rust☆53Updated last week
- Fast and correct computations with uncertain values☆87Updated 3 years ago
- ☆47Updated 3 years ago
- ☆55Updated 4 months ago
- Spawn processes with arbitrary closures in rust☆108Updated 3 years ago
- A crate with indexed arenas with small memory footprint☆76Updated 2 months ago
- ☆43Updated 3 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆81Updated last year
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- exhaustive testing library☆58Updated 3 months ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- ☆112Updated last year
- Gotchas and warts in Rust Lang☆70Updated last year
- Calm I/O operations for Rust☆75Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆38Updated 6 years ago
- Run a command and highlight its stderr, preserving the order of stdout and stderr☆49Updated last year
- Procedural macro span debugger/visualizer☆40Updated 4 years ago
- Machine scalar casting that meets your expectations☆73Updated 3 years ago
- Blazing fast immutable collection datatypes for Rust.☆84Updated 4 months ago
- Ranged integers for Rust based on const generics☆26Updated 3 weeks ago
- A simple, id-based arena☆113Updated last year
- [DEPRECATED] A simple object arena☆37Updated 3 years ago
- Rust serializer library☆85Updated 6 months ago
- ☆32Updated 2 years ago