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:
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- A graphical debugger for Rust MIR☆193Updated 2 years ago
- GLL parsing framework.☆137Updated last year
- home for proposals in and around compile-time function evaluation☆110Updated last year
- A simple, id-based arena☆120Updated last year
- Manual segmented stacks for Rust☆315Updated 3 months ago
- Modeling NLL and the Rust borrowck☆83Updated 7 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- A fast, concurrent string interner☆151Updated 11 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
- A library for generating Graphviz DOT language files for graphs.☆77Updated 4 months ago
- 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
- Append-only collections for Rust where borrows to entries can outlive insertions☆254Updated last week
- A collection of small utilities for working with pointer types in Rust.☆127Updated 6 months ago
- 🌵 Cycle-Aware Reference Counting in Rust☆150Updated last week
- Utilities for dealing with substructures within syn macros☆141Updated 2 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆247Updated last month
- Interning of data in rust☆106Updated last month
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆184Updated 4 years ago
- A simple bitset container for Rust☆147Updated last month
- Token tree calling convention☆80Updated 2 years ago
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆39Updated 7 years ago
- docs.rs as a publishing platform?☆69Updated 2 months ago
- generators☆210Updated last year
- A data structure to efficiently intern, cache and restore strings.☆201Updated last month
- ☆41Updated last year
- skiplist☆142Updated 3 years ago
- A crate with indexed arenas with small memory footprint☆77Updated 11 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago