nrc / libhoareLinks
Design by contract style assertions for Rust
☆245Updated 4 years ago
Alternatives and similar repositories for libhoare
Users that are interested in libhoare are comparing it to the libraries listed below
Sorting:
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆143Updated 3 months ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆243Updated 3 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆320Updated 4 years ago
- Software transactional memory☆260Updated 3 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- Allocators in Rust☆313Updated 5 years ago
- garbage collection☆321Updated 5 years ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆304Updated 2 years ago
- Semantic code navigation for Rust☆417Updated 2 years ago
- Verification working group☆104Updated 6 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Updated 5 years ago
- Rust framework for building visual/interactive applications☆134Updated 5 years ago
- GLL parsing framework.☆137Updated last year
- Put a program in your program, so you can program while you program.☆46Updated 9 years ago
- Stateful, a Rust Control Flow Plugin☆107Updated 8 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆74Updated 6 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆128Updated 3 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆176Updated 2 years ago
- async for rust without the noise☆142Updated 5 years ago
- A standalone script that manages running Rust's cargo and several other related features on Travis CI.☆172Updated 7 years ago
- An XML library in Rust☆156Updated 4 years ago
- Efficient transactional memory in rust.☆210Updated 3 years ago
- Configurable, extensible, interactive line reader☆190Updated 4 years ago
- Compile time numbers in Rust.☆547Updated last month
- A Rust crate for automatically generating C header files from Rust source file.☆190Updated 6 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago