nikomatsakis / rustnl-2024Links
Type theory for busy engineers
☆19Updated 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:
- ☆94Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Serde serializer for generating Starlark build targets☆70Updated this week
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆115Updated 2 weeks ago
- Crates to benchmark your Rust code☆52Updated 3 weeks ago
- A syntax exploration of eventually stable Rust Iterator items☆32Updated 3 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated last week
- An unordered multiset/bag implementation backed by HashMap☆75Updated last month
- Documentation of Rust error handling☆48Updated 2 years ago
- Human-friendly indexed collections☆56Updated 2 months ago
- A slab allocator with stable references☆15Updated 2 years ago
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆86Updated last year
- Discovering and describing Rust's design axioms☆78Updated last year
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- A low-level I/O ownership and borrowing library☆106Updated 4 months ago
- Library and proc macro to analyze memory usage of data structures in rust.☆192Updated 2 weeks ago
- Export flame data to speedscope's format☆44Updated last year
- Choose Rust types at compile-time via constants☆70Updated last year
- Concrete Syntax Tree library☆110Updated 2 months ago
- The simd optimized escape code☆54Updated 3 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Utility wrapper to send non send types to other threads safely☆186Updated 8 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- Lending iterators on stable Rust☆83Updated last year
- ☆39Updated last year
- Linked Atomic Random Insert Vector: a thread-safe, self-memory-managed vector with no guaranteed sequential insert.☆58Updated 2 years ago
- Serde Visitor for deserializing untagged enums☆67Updated this week
- A minimalist property-based testing library☆120Updated 7 months ago
- Rust closures you can transfer over an FFI boundary☆27Updated 5 years ago