nrc / libhoare
Design by contract style assertions for Rust
☆245Updated 3 years ago
Related projects: ⓘ
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆142Updated 3 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆243Updated 2 years ago
- A rustc plugin to check for numerical instability☆172Updated 8 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆507Updated 3 years ago
- Software transactional memory☆246Updated 2 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 2 years ago
- See instead assert_cmd☆149Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆323Updated 3 years ago
- Allocators in Rust☆304Updated 4 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆168Updated last year
- A standalone script that manages running Rust's cargo and several other related features on Travis CI.☆174Updated 6 years ago
- Rust framework for building visual/interactive applications☆133Updated 5 years ago
- Rust macro to generate self-referential structs☆211Updated 3 years ago
- Stateful, a Rust Control Flow Plugin☆108Updated 7 years ago
- garbage collection☆318Updated 5 years ago
- async for rust without the noise☆141Updated 4 years ago
- A high-level language for Rust☆337Updated 5 years ago
- Test your Rust Markdown documentation via Cargo☆285Updated 5 months ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆300Updated last year
- Semantic code navigation for Rust☆417Updated last year
- A Rust procedural macro for tracing function execution☆326Updated last year
- A Rust crate for automatically generating C header files from Rust source file.☆191Updated 6 years ago
- Mocking library for Rust☆269Updated last year
- A future & stream abstraction for Rust☆241Updated 8 years ago
- tracking performance of rustc-generated binaries over time☆104Updated last year
- A Bounded SPSC queue for Rust☆158Updated last year
- Efficient transactional memory in rust.☆209Updated 3 years ago
- Implementation of the nanomsg "Scalability Protocols" in rust.☆192Updated 4 years ago
- Verification working group☆104Updated 5 years ago