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:
- Serde serializer for generating Starlark build targets☆66Updated last month
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆31Updated this week
- Build a rustc sysroot with custom flags☆17Updated last week
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- ☆34Updated last year
- Choose Rust types at compile-time via constants☆67Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- A low-level I/O ownership and borrowing library☆101Updated 6 months ago
- Discovering and describing Rust's design axioms☆74Updated last year
- libyaml transpiled to rust by c2rust☆33Updated last year
- Automatically upgrade breaking changes☆45Updated last year
- The simd optimized escape code☆54Updated last week
- Unbuffered and unlocked I/O streams☆45Updated 3 months ago
- A lightweight, no-std, object-safe, serialization-only framework for Rust☆97Updated 2 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- Rust closures you can transfer over an FFI boundary☆27Updated 4 years ago
- Documentation of Rust error handling☆48Updated 2 years ago
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆79Updated 9 months ago
- exhaustive testing library☆63Updated 10 months ago
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.☆41Updated last month
- A garbage collection library for Rust with zero unsafe code☆114Updated 11 months ago
- Trying to create Sync bump allocator☆37Updated 7 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A slab allocator with stable references☆15Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- A memory efficient syntax tree for language developers☆62Updated 3 weeks ago
- Scoped Thread Local Storage for Rust☆56Updated last year
- A hash table with strong order and fast iteration; access items by key or sequence index☆43Updated 2 months ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 3 months ago
- ☆25Updated 11 months ago