nikomatsakis / rustnl-2024
Type theory for busy engineers
☆18Updated last year
Alternatives and similar repositories for rustnl-2024
Users that are interested in rustnl-2024 are comparing it to the libraries listed below
Sorting:
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- Serde serializer for generating Starlark build targets☆66Updated last week
- ☆32Updated 11 months ago
- The simd optimized escape code☆54Updated last week
- Human-friendly indexed collections☆53Updated this week
- Build a rustc sysroot with custom flags☆17Updated last week
- A memory efficient syntax tree for language developers☆60Updated this week
- A low-level I/O ownership and borrowing library☆101Updated 5 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 7 months ago
- Rust closures you can transfer over an FFI boundary☆27Updated 4 years ago
- ☆25Updated 10 months ago
- A lightweight, no-std, object-safe, serialization-only framework for Rust☆98Updated 2 months ago
- bytes::BufMut implementation to count buffer size☆22Updated last week
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆79Updated 8 months ago
- Documentation of Rust error handling☆49Updated 2 years ago
- An async version of iterator☆40Updated 11 months ago
- Serde Visitor for deserializing untagged enums☆63Updated last week
- A slab allocator with stable references☆15Updated 2 years ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 2 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆37Updated 9 months ago
- Some internal rustc tools made accessible☆47Updated 4 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago
- A speedy, flexible router for Rust.☆12Updated last month
- structured parallel execution for async Rust☆33Updated 9 months ago
- Concrete Syntax Tree library☆95Updated 2 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Thread-unsafe async runtime☆28Updated 7 months ago
- A garbage collection library for Rust with zero unsafe code☆112Updated 10 months ago
- Choose Rust types at compile-time via constants☆65Updated last year