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:
- ☆94Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- An unordered multiset/bag implementation backed by HashMap☆70Updated 2 months ago
- A minimalist property-based testing library☆116Updated 5 months ago
- Discovering and describing Rust's design axioms☆77Updated last year
- Library and proc macro to analyze memory usage of data structures in rust.☆166Updated last month
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆112Updated 2 months ago
- ☆40Updated last year
- Export flame data to speedscope's format☆43Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- Concrete Syntax Tree library☆106Updated last week
- Utility wrapper to send non send types to other threads safely☆188Updated 6 months ago
- A working Rust example for how to implement Borrow for complex keys☆67Updated last year
- Serde serializer for generating Starlark build targets☆69Updated 3 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- Alternative future adapters that provide cancel safety.☆73Updated last week
- REGex in Rust with EcmaScript Syntax☆204Updated 3 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 11 months ago
- Copy-on-write string utilities for Rust☆158Updated last year
- Scoped Thread Local Storage for Rust☆56Updated 2 years ago
- The simd optimized escape code☆54Updated this week
- Serde Visitor for deserializing untagged enums☆67Updated 3 weeks ago
- Human-friendly indexed collections☆55Updated last week
- Trying to create Sync bump allocator☆40Updated 3 months ago
- A low-level I/O ownership and borrowing library☆104Updated 2 months ago
- Compile-time checks that an enum or match is written in sorted order☆119Updated 3 weeks ago
- A simple, id-based arena☆120Updated 2 years ago
- Fast and correct async IO runtime in a small amount of readable code. Inspired by tokio☆72Updated last year
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago
- Merged into https://github.com/dudykr/ddt☆91Updated 3 years ago