rust-lang / enaLinks
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
☆161Updated last year
Alternatives and similar repositories for ena
Users that are interested in ena are comparing it to the libraries listed below
Sorting:
- GLL parsing framework.☆137Updated last year
- home for proposals in and around compile-time function evaluation☆110Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Manual segmented stacks for Rust☆312Updated 2 months ago
- A simple, id-based arena☆120Updated last year
- A graphical debugger for Rust MIR☆192Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆252Updated 4 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆228Updated 4 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Interning of data in rust☆104Updated 2 weeks ago
- A fast, concurrent string interner☆150Updated 10 months ago
- Utilities for dealing with substructures within syn macros☆139Updated 2 months ago
- Modeling NLL and the Rust borrowck☆82Updated 7 years ago
- generators☆210Updated last year
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Fork of std::Arc with lots of utilities useful for FFI☆244Updated 3 weeks ago
- A simple bitset container for Rust☆145Updated 2 weeks ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- A collection of small utilities for working with pointer types in Rust.☆125Updated 5 months ago
- ☆124Updated 2 years ago
- A library for generating Graphviz DOT language files for graphs.☆76Updated 3 months ago
- 🌵 Cycle-Aware Reference Counting in Rust☆150Updated this week
- A Rust data structure for efficient lower-bound lookups☆91Updated last year
- A data structure to efficiently intern, cache and restore strings.☆199Updated 3 weeks ago
- skiplist☆142Updated 3 years ago
- docs.rs as a publishing platform?☆69Updated last month
- ☆95Updated last year
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- Execute your code on the Rust ecosystem.☆184Updated 3 weeks ago
- String interning for Rust☆200Updated last month