salmans / rusty-razor
Razor is a tool for constructing finite models for first-order theories
☆55Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rusty-razor
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Program synthesis is possible in Rust☆24Updated 5 years ago
- rust verification condition generator☆93Updated 8 years ago
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆78Updated 5 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Rust declarative static analysis with macro-like syntax☆16Updated 6 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Reverse engineering framework.☆36Updated 2 years ago
- JS affine☆65Updated 4 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆22Updated last week
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 4 years ago
- An automated theorem prover for first order logic.☆28Updated 7 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Arbitrary precision integers library.☆26Updated 3 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- An experiment in embedding layout computations in the type system.☆16Updated 5 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆38Updated 5 years ago
- Get a GUI fast in any language under the sea!☆47Updated last year
- Lift enum variants to the type-level.☆30Updated 3 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last week
- Session Type EDSL for Rust☆101Updated 2 years ago
- it goes zoom zoom☆46Updated last year
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 4 years ago