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 5 months ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆522Updated 3 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆74Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆321Updated 4 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆178Updated 2 years ago
- Stateful, a Rust Control Flow Plugin☆107Updated 8 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- Software transactional memory☆264Updated 3 years ago
- Put a program in your program, so you can program while you program.☆46Updated 9 years ago
- A standalone script that manages running Rust's cargo and several other related features on Travis CI.☆172Updated 7 years ago
- A Bounded SPSC queue for Rust☆161Updated 2 years ago
- No longer maintained☆113Updated 7 years ago
- GLL parsing framework.☆137Updated last year
- Rust macro to generate self-referential structs☆211Updated 4 years ago
- Allocators in Rust☆314Updated 5 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- LLVM wrappers for Rust☆69Updated 8 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- Various implementation strategies for “DOM-like” tree data structures in Rust.☆181Updated 8 years ago
- No longer maintained☆70Updated 8 years ago
- event loop and promises in Rust☆110Updated 8 years ago
- Easily hotswap functions in running executables☆141Updated 7 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆129Updated 3 years ago
- Communication primitives☆68Updated 7 years ago
- A Persistent Map Implementation based on Hash Array Mapped Tries☆175Updated last year