kamalmarhubi / syntex-syntax-example
A fun example of working with Rust ASTs and syntex_syntax
☆19Updated 6 years ago
Related projects: ⓘ
- Verification working group☆104Updated 5 years ago
- Tutorial and demo of rust compiler replacement tooling☆55Updated 3 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆100Updated 5 months ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- ☆90Updated this week
- A graphical debugger for Rust MIR☆181Updated 2 years ago
- Modular register allocator algorithms☆107Updated last year
- Modeling NLL and the Rust borrowck☆75Updated 6 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- Instrument Rust code using Rust☆65Updated 5 years ago
- skiplist☆140Updated 2 years ago
- Spawn processes with arbitrary closures in rust☆108Updated 3 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆79Updated last year
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- JS affine☆66Updated 4 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- tracking performance of rustc-generated binaries over time☆104Updated last year
- An experimental asynchronous runtime based on `io-uring`.☆76Updated 3 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆78Updated 5 years ago
- Type-safe transmutations between layout-compatible types.☆121Updated 4 years ago
- In support of measuring heap allocations in Rust programs.☆99Updated 5 years ago
- rust verification condition generator☆93Updated 8 years ago
- Rust marketing handbook☆38Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 7 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆127Updated 2 years ago
- Program synthesis is possible in Rust☆24Updated 5 years ago
- Rust bindings to google's cpuprofiler☆127Updated 4 years ago
- This crate guarantees that your application is free of panicking branches☆176Updated 5 years ago
- Experimental collection traits for Rust☆28Updated 7 years ago