nrc / libhoareLinks
Design by contract style assertions for Rust
☆249Updated 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 fast monadic-style parser combinator designed to work on stable Rust.☆244Updated 3 years ago
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆143Updated 6 months ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆178Updated 2 years ago
- Software transactional memory☆265Updated 3 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆74Updated 6 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆526Updated 4 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- Put a program in your program, so you can program while you program.☆46Updated 9 years ago
- Lazy Evaluation for Rust.☆135Updated 10 years ago
- A composable wait system.☆76Updated 6 years ago
- Stateful, a Rust Control Flow Plugin☆107Updated 8 years ago
- No longer maintained☆113Updated 7 years ago
- Non-lexical lifetimes RFC.☆48Updated 7 years ago
- No longer maintained☆70Updated 8 years ago
- Allocators in Rust☆314Updated 5 years ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆309Updated 2 years ago
- Various implementation strategies for “DOM-like” tree data structures in Rust.☆182Updated 8 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆323Updated 4 years ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Unikernel written in rust☆33Updated 9 years ago
- GLL parsing framework.☆137Updated last year
- Verification working group☆104Updated 6 years ago
- A Persistent Map Implementation based on Hash Array Mapped Tries☆175Updated last year
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- A Bounded SPSC queue for Rust☆161Updated 2 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆129Updated 3 years ago
- A Rust crate for automatically generating C header files from Rust source file.☆188Updated 7 years ago