AeneasVerif / eurydiceLinks
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
☆280Updated last week
Alternatives and similar repositories for eurydice
Users that are interested in eurydice are comparing it to the libraries listed below
Sorting:
- Interface with the rustc compiler for the purpose of program verification☆259Updated last week
- A Rust verification tool☆356Updated this week
- UB-free and deterministic rustc fuzzer☆92Updated 2 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆100Updated this week
- An implementation of libc written in Rust☆309Updated 2 months ago
- Resilient LL(1) parser generator for Rust☆185Updated 2 weeks ago
- Pair your compilers up at The ABI Cafe!☆282Updated 6 months ago
- ☆190Updated 10 months ago
- the WebAssembly partial evaluator☆112Updated 4 months ago
- Define compiler intermediate representation usable by external tools☆98Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 3 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 6 months ago
- Rust support for seL4 userspace☆179Updated last month
- a model of MIR and the Rust type/trait system☆323Updated this week
- A new register allocator☆244Updated last month
- An Extensible Compiler IR Framework☆235Updated this week
- Scope Graph Implementation in Rust☆28Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 6 months ago
- Idiomatic exceptions for Rust☆92Updated 5 months ago
- property testing and verification front-end for Rust☆224Updated last month
- A garbage collection library for Rust with zero unsafe code☆117Updated last year
- ☆58Updated 6 months ago
- SIMD base64 codecs☆88Updated last year
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆43Updated last month
- 🎶 Choreographic programming in Rust 🎶☆64Updated 9 months ago
- automatially find crashes in the rust compiler & tooling☆80Updated last year
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆309Updated 3 months ago
- How fast can we recognize a word from a small pre-determined set?☆88Updated 11 months ago