nikomatsakis / rustnl-2024
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
- Serde serializer for generating Starlark build targets☆66Updated last month
- Rust closures you can transfer over an FFI boundary☆25Updated 4 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 6 months ago
- Build a rustc sysroot with custom flags☆17Updated this week
- ☆31Updated 10 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 10 months ago
- A memory efficient syntax tree for language developers☆57Updated last month
- ☆19Updated 2 years ago
- Make any value Sync but only available on its original thread☆39Updated 2 months ago
- A highly experiment portable runtime☆19Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 9 months ago
- A slab allocator with stable references☆15Updated 2 years ago
- The simd optimized escape code☆53Updated last week
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆31Updated last month
- Some internal rustc tools made accessible☆47Updated 4 months ago
- A low-level I/O ownership and borrowing library☆100Updated 5 months ago
- bytes::BufMut implementation to count buffer size☆22Updated 2 months ago
- A more flexible version of the Rust `scoped-tls` library☆18Updated 7 months ago
- A generic, fixed-size, associative cache☆40Updated 6 months ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆81Updated 3 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- Human-friendly indexed collections☆53Updated 2 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆78Updated 8 months ago
- A collection of small utilities for working with pointer types in Rust.☆124Updated 3 months ago
- exhaustive testing library☆63Updated 9 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 6 months ago
- Choose Rust types at compile-time via constants☆64Updated last year