nikomatsakis / rustnl-2024
Type theory for busy engineers
☆18Updated 8 months ago
Alternatives and similar repositories for rustnl-2024:
Users that are interested in rustnl-2024 are comparing it to the libraries listed below
- The simd optimized escape code☆53Updated last week
- An unordered multiset/bag implementation backed by HashMap☆66Updated 2 weeks ago
- A slab allocator with stable references☆15Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 3 months ago
- A memory efficient syntax tree for language developers☆51Updated 4 months ago
- A syntax exploration of eventually stable Rust Iterator items☆32Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 4 months ago
- Serde serializer for generating Starlark build targets☆66Updated 2 weeks ago
- A low-level I/O ownership and borrowing library☆101Updated last month
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆57Updated this week
- exhaustive testing library☆63Updated 5 months ago
- structured parallel execution for async Rust☆33Updated 5 months ago
- ☆29Updated 7 months ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆106Updated 2 weeks ago
- ☆24Updated 6 months ago
- ☆18Updated 2 years ago
- Find calls to panic functions in rust executables☆35Updated 3 years ago
- A garbage collection library for Rust with zero unsafe code☆107Updated 6 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 3 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A minimalist property-based testing library☆107Updated last month
- Checksum of a directory tree☆45Updated 2 months ago
- Rust closures you can transfer over an FFI boundary☆25Updated 4 years ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆69Updated 4 months ago
- Documentation of Rust error handling☆49Updated last year
- An async version of iterator☆39Updated 7 months ago
- ☆70Updated 2 months ago
- bytes::BufMut implementation to count buffer size☆21Updated 2 months ago
- Trying to create Sync bump allocator☆29Updated 2 months ago