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:
- Documentation of Rust error handling☆48Updated 2 years ago
- ☆36Updated last year
- A minimalist property-based testing library☆110Updated 2 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- Serde serializer for generating Starlark build targets☆66Updated last month
- ☆93Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- A garbage collection library for Rust with zero unsafe code☆114Updated 11 months ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago
- Some internal rustc tools made accessible☆47Updated 6 months ago
- Target "triple" support☆54Updated 5 months ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆107Updated 6 months ago
- Discovering and describing Rust's design axioms☆74Updated last year
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆80Updated 10 months ago
- Helper macros: autoimpl, impl_scope☆65Updated 3 weeks ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 4 months ago
- Macro-rules-style syntax matching for procedural macros☆53Updated last year
- Unbuffered and unlocked I/O streams☆45Updated 4 months ago
- Export flame data to speedscope's format☆41Updated 10 months ago
- Concrete Syntax Tree library☆96Updated 3 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Trying to create Sync bump allocator☆37Updated this week
- The simd optimized escape code☆54Updated last week
- Command line interface as a function.☆76Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- bytes::BufMut implementation to count buffer size☆22Updated last month
- Human-friendly indexed collections☆53Updated last month
- PEG trace visualizer☆87Updated 5 months ago
- Non-interleaving multithreaded output queue☆71Updated last month
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago