minirust / specrLinks
☆14Updated 2 months ago
Alternatives and similar repositories for specr
Users that are interested in specr are comparing it to the libraries listed below
Sorting:
- Rust bindings for libgccjit☆24Updated 2 weeks ago
- Verify naive = datafrog-opt, in rust/polonius☆15Updated 3 months ago
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Propositional logic with types in Rust☆64Updated 2 years ago
- ☆12Updated this week
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆102Updated last year
- Target "triple" support☆53Updated last month
- Lift enum variants to the type-level.☆32Updated 4 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆54Updated last month
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆119Updated last week
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 11 months ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆13Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 3 years ago
- ☆90Updated 2 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- Modeling NLL and the Rust borrowck☆85Updated 8 years ago
- We have Crater At Home☆36Updated 11 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago