Yoric / yaiouomLinks
Prototype extension of the Rust type system towards checking units-of-measure
☆115Updated 5 years ago
Alternatives and similar repositories for yaiouom
Users that are interested in yaiouom are comparing it to the libraries listed below
Sorting:
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆101Updated last year
- Token tree calling convention☆80Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 4 years ago
- A simple, id-based arena☆120Updated last year
- Spawn processes with arbitrary closures in rust☆112Updated 3 years ago
- Procedural macro span debugger/visualizer☆39Updated 4 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- Fast and correct computations with uncertain values☆95Updated 2 months ago
- A Rust allocator which makes sound when active, like a Geiger counter.☆120Updated 5 months ago
- ☆50Updated 4 years ago
- Ranged integers for Rust based on const generics☆28Updated last month
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 3 years ago
- ☆58Updated last week
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- Rust library for safely and explicitly parsing untrusted data☆52Updated last year
- Skill-tree rendering☆156Updated last year
- Calm I/O operations for Rust☆76Updated 4 years ago
- ☆46Updated 4 years ago
- Typed index version of Rust slice and Vec containers☆70Updated this week
- Parsing ISO8601 dates using nom☆76Updated 3 months ago
- Lossless functionality for platform-native strings.☆71Updated 2 months ago
- A Mutex wrapper tracking acquisition order☆74Updated 3 months ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- A proc-macro to break Rust IDEs☆64Updated 4 years ago
- Generic extensions for tapping values in Rust.☆58Updated 6 years ago
- A library to produce syntax diagrams as Scalable Vector Graphics☆156Updated 2 months ago
- A library for generating Graphviz DOT language files for graphs.☆77Updated 4 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- ☆34Updated 3 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago