rust-formal-methods / rust-formal-methods.github.ioLinks
☆13Updated last week
Alternatives and similar repositories for rust-formal-methods.github.io
Users that are interested in rust-formal-methods.github.io are comparing it to the libraries listed below
Sorting:
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- Propositional logic with types in Rust☆65Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆65Updated 10 months ago
- We have Crater At Home☆37Updated last year
- ☆55Updated 5 months ago
- UB-free and deterministic rustc fuzzer☆95Updated last month
- ☆36Updated 3 years ago
- A tool to help with minimization of Rust code☆66Updated 3 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- exhaustive testing library☆66Updated last year
- Experimental type level programming in Rust☆41Updated 4 years ago
- Stack safe and expressive recursion in Rust☆107Updated 7 months ago
- Compile Rust compiler using Buck2☆68Updated 2 weeks ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Updated 2 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Updated 4 years ago
- ☆16Updated 6 months ago
- Choose Rust types at compile-time via constants☆70Updated 2 years ago
- Install a rustc master toolchain usable from rustup☆76Updated this week
- Helper macros: autoimpl, impl_scope☆68Updated 2 months ago
- A proc-macro to break Rust IDEs☆65Updated 4 years ago
- A library for generating Graphviz DOT language files for graphs.☆78Updated 10 months ago
- ☆46Updated 4 years ago
- home for proposals in and around compile-time function evaluation☆113Updated last month
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago