nikomatsakis / rustnl-2024Links
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:
- Discovering and describing Rust's design axioms☆75Updated last year
- 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☆68Updated this week
- ☆94Updated 2 years ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆111Updated last month
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- An unordered multiset/bag implementation backed by HashMap☆70Updated last month
- A minimalist property-based testing library☆116Updated 4 months ago
- ☆40Updated last year
- Utility wrapper to send non send types to other threads safely☆187Updated 5 months ago
- Library and proc macro to analyze memory usage of data structures in rust.☆163Updated 3 weeks ago
- Rust closures you can transfer over an FFI boundary☆27Updated 4 years ago
- Lending iterators on stable Rust☆83Updated last year
- Human-friendly indexed collections☆54Updated this week
- Documentation of Rust error handling☆48Updated 2 years ago
- Some internal rustc tools made accessible☆47Updated 8 months ago
- Alternative future adapters that provide cancel safety.☆69Updated 2 weeks ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆82Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 11 months ago
- Rust interface for Linux futexes, the fast user-space locking primitive.☆89Updated last year
- Linked Atomic Random Insert Vector: a thread-safe, self-memory-managed vector with no guaranteed sequential insert.☆58Updated 2 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- ☆74Updated last month
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Unbuffered and unlocked I/O streams☆45Updated 6 months ago
- Utilities for working with impl traits in Rust.☆113Updated 7 months ago
- A benchmarking harness for concurrent key-value collections☆119Updated 2 years ago
- A low-level I/O ownership and borrowing library☆104Updated last month
- A library for generating chrome://tracing traces in Rust.☆115Updated last year
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago