minirust / specrLinks
☆16Updated 5 months ago
Alternatives and similar repositories for specr
Users that are interested in specr are comparing it to the libraries listed below
Sorting:
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Rust bindings for libgccjit☆30Updated last month
- ☆13Updated 2 weeks ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- We have Crater At Home☆37Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- 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.☆56Updated last month
- Scope Graph Implementation in Rust☆28Updated last year
- 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
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 3 months ago
- Verify naive = datafrog-opt, in rust/polonius☆15Updated 6 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Target "triple" support☆54Updated last month
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated 2 weeks ago
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- ☆39Updated last year
- A concurrent GC.☆44Updated 3 years ago
- Library facilitating safe pinned initialization☆75Updated this week
- A garbage collection library for Rust with zero unsafe code☆118Updated last year
- Babysteps blog☆37Updated last month
- Experimental type level programming in Rust☆41Updated 4 years ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆56Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆165Updated last year
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Updated 4 years ago