nrc / libhoareLinks
Design by contract style assertions for Rust
☆246Updated 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
- garbage collection☆321Updated 5 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆177Updated 2 years ago
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆143Updated 3 months ago
- Semantic code navigation for Rust☆417Updated 2 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆320Updated 4 years ago
- GLL parsing framework.☆137Updated last year
- A standalone script that manages running Rust's cargo and several other related features on Travis CI.☆172Updated 7 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- Rust framework for building visual/interactive applications☆134Updated 5 years ago
- Mocking library for Rust☆269Updated 2 years ago
- Software transactional memory☆260Updated 3 years ago
- Archived as subcommand is now part of Cargo itself☆262Updated 6 years ago
- See instead assert_cmd☆146Updated 6 years ago
- Efficient transactional memory in rust.☆210Updated 3 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆74Updated 6 years ago
- async for rust without the noise☆142Updated 5 years ago
- Stateful, a Rust Control Flow Plugin☆107Updated 8 years ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆305Updated 2 years ago
- A Bounded SPSC queue for Rust☆161Updated 2 years ago
- An experimental standard library☆228Updated 9 years ago
- Allocators in Rust☆313Updated 5 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- In support of measuring heap allocations in Rust programs.☆101Updated 6 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- A flexible thread pool providing scoped and static threads.☆86Updated 6 years ago
- A future & stream abstraction for Rust☆242Updated 8 years ago