willcrichton / rustc-type-metaprogrammingLinks
☆24Updated 7 years ago
Alternatives and similar repositories for rustc-type-metaprogramming
Users that are interested in rustc-type-metaprogramming are comparing it to the libraries listed below
Sorting:
- Modular register allocator algorithms☆105Updated 3 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- Composable, lock-free, allocation-light data structures☆61Updated 7 years ago
- A linear solver designed to be easy to use with Rust enums.☆33Updated 4 years ago
- A symbolic evaluator for MIR☆20Updated 5 years ago
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- ☆27Updated 10 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- rust verification condition generator☆96Updated 9 years ago
- Instrument Rust code using Rust☆64Updated 7 years ago
- HAMT implementation whose sub-trees can be shared over threads☆11Updated 3 months ago
- Epoch-based garbage collection☆81Updated 7 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- liburing bindings☆35Updated 3 years ago
- A simple error library for no_std + no_alloc Rust☆18Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Project dependency manager☆74Updated 6 years ago
- A disassembler framework☆18Updated 3 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Updated last year
- An experimental asynchronous runtime based on `io-uring`.☆77Updated 4 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago
- ☆40Updated 6 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- ☆49Updated 5 months ago
- A small standalone WebAssembly interpreter in Rust☆36Updated 7 years ago
- A MPMC channel based on the two lock queue algorithm☆15Updated 8 years ago
- A compiler from Rust to C, and a checker for unsafe code☆84Updated 6 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Updated 4 years ago
- An experimental columnar arena☆43Updated last year