nikomatsakis / pliss-2019
Slides for PLISS 2019
☆10Updated 5 years ago
Related projects: ⓘ
- dom-like layout for terminal applications☆12Updated 3 years ago
- Inert lets you use non-Sync values in Sync context☆17Updated 5 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 8 years ago
- Efficient sized chunk datatypes for immutable.rs☆25Updated 2 years ago
- ☆16Updated 4 years ago
- ☆26Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Program synthesis is possible in Rust☆24Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- SIMD optimised algorithms and data types☆18Updated 4 years ago
- Experimenting with ergonomic dyn types☆29Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- An ordered map and set based on a trie.☆30Updated 4 years ago
- Tracking Rust and WebAssembly sizes over time☆10Updated 5 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- A deque implemented as a hybrid linked-list-of-arrays☆11Updated 9 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆29Updated 5 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 2 years ago
- Library for writing tests for utilities that read text files and produce text output☆21Updated 4 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Tinkering with a more ergonomic cell abstraction☆16Updated 5 years ago
- Fork of mimallocator that aims to port mimalloc over to rust.☆16Updated 5 years ago
- ☆17Updated 8 years ago
- Libraries for declaring and using type-level values.☆11Updated 5 years ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year