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:
- An unordered multiset/bag implementation backed by HashMap☆75Updated last month
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆115Updated last week
- ☆94Updated 2 years ago
- A minimalist property-based testing library☆120Updated 7 months ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- ☆39Updated last year
- Discovering and describing Rust's design axioms☆78Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated this week
- Documentation of Rust error handling☆48Updated 2 years ago
- Serde serializer for generating Starlark build targets☆69Updated this week
- Choose Rust types at compile-time via constants☆69Updated last year
- exhaustive testing library☆66Updated last year
- The simd optimized escape code☆54Updated 2 weeks ago
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- The `io_uring` library for Rust (with Rustix)☆35Updated 4 months ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆85Updated last year
- A working Rust example for how to implement Borrow for complex keys☆69Updated last year
- Lending iterators on stable Rust☆83Updated last year
- Compile-time checks that an enum or match is written in sorted order☆119Updated 3 weeks ago
- A memory efficient syntax tree for language developers☆63Updated 4 months ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago
- Human-friendly indexed collections☆56Updated last month
- Alternative future adapters that provide cancel safety.☆78Updated this week
- (lifetime) GATs on stable Rust☆59Updated last year
- Library and proc macro to analyze memory usage of data structures in rust.☆192Updated last week
- Non-interleaving multithreaded output queue☆79Updated 3 weeks ago
- Trying to create Sync bump allocator☆40Updated 5 months ago
- ☆24Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago