larsbergstrom / papers
Research papers
☆15Updated 9 years ago
Alternatives and similar repositories for papers:
Users that are interested in papers are comparing it to the libraries listed below
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Updated 10 years ago
- No longer maintained☆38Updated 7 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- ☆49Updated last year
- Verification working group☆104Updated 6 years ago
- ☆29Updated 6 years ago
- A simple JIT library in Rust☆19Updated 10 years ago
- ☆25Updated 9 years ago
- a toolset for autogenerating rust APIs and translating structs☆25Updated 6 years ago
- ☆23Updated 6 years ago
- Prints various binary symbols in your crate☆13Updated 7 years ago
- Non-lexical lifetimes RFC.☆48Updated 6 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Adapton Lab, written in Rust.☆15Updated 5 years ago
- x86 intrinsics for rust☆40Updated 7 years ago
- [INACTIVE] const-time Rust experiment☆98Updated 9 years ago
- A library that provides a way to logically own objects, whether or not heap allocation is available☆67Updated 8 months ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- ☆79Updated 8 years ago
- A parser-combinator library for Rust☆45Updated 9 years ago
- Miscellaneous Collections☆64Updated 9 years ago
- Jit + Rust + Memory☆19Updated 10 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- RFCs for changes to Rust☆59Updated 6 years ago
- rust verification condition generator☆94Updated 8 years ago
- JS affine☆66Updated 4 years ago
- ☆83Updated 12 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- CBOR (binary JSON) for Rust with automatic type based decoding and encoding.☆137Updated 6 years ago
- Implements a Rust ordered map as a BurstTrie.☆30Updated 7 years ago