willcrichton / rustc-type-metaprogramming
☆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
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Updated 5 years ago
- A syn targetting PEG parser generator☆20Updated last year
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated last month
- HAMT implementation whose sub-trees can be shared over threads☆11Updated last week
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A disassembler framework☆18Updated 2 years ago
- ☆40Updated 6 years ago
- Rust version of lemire's SimdJson☆17Updated 6 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- Arbitrary precision integers library.☆27Updated 4 years ago
- An ordered map and set based on a trie.☆29Updated 4 years ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Updated 7 years ago
- Composable, lock-free, allocation-light data structures☆60Updated 6 years ago
- The HexagonE VM☆26Updated 2 years ago
- A symbolic evaluator for MIR☆19Updated 5 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆20Updated 2 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Program synthesis is possible in Rust☆24Updated 6 years ago
- Fast, vector-based map implementation that preserves insertion order.☆15Updated 4 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- An experimental columnar arena☆43Updated 5 months ago
- [Experiment] JNeT: japaric's network thingies☆27Updated 5 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆52Updated 3 years ago
- ☆25Updated 9 years ago
- ☆48Updated last year