rust-lang / ena
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
☆153Updated 10 months ago
Alternatives and similar repositories for ena:
Users that are interested in ena are comparing it to the libraries listed below
- Manual segmented stacks for Rust☆299Updated this week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆240Updated 2 weeks ago
- A fast, concurrent string interner☆149Updated 7 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆229Updated 2 months ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Interning of data in rust☆95Updated 3 weeks ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Utilities for dealing with substructures within syn macros☆139Updated 7 months ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- A simple, id-based arena☆118Updated last year
- A collection of small utilities for working with pointer types in Rust.☆123Updated 2 months ago
- 🌵 Cycle-Aware Reference Counting in Rust☆146Updated this week
- Execute your code on the Rust ecosystem.☆184Updated this week
- Modeling NLL and the Rust borrowck☆80Updated 7 years ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated 2 weeks ago
- ☆93Updated 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
- A data structure to efficiently intern, cache and restore strings.☆190Updated last month
- docs.rs as a publishing platform?☆68Updated last month
- Spawn processes with arbitrary closures in rust☆110Updated 3 years ago
- Utility wrapper to send non send types to other threads safely☆174Updated last year
- ☆124Updated 2 years ago
- Define your own PhantomData☆152Updated 2 weeks ago
- GLL parsing framework.☆137Updated last year
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆84Updated last year
- Cargo subcommand for checking your documentation for broken links☆152Updated 3 months ago
- A library for generating Graphviz DOT language files for graphs.☆74Updated 2 years ago
- ☆37Updated last year
- Dynamically query a type-erased object for any trait implementation☆65Updated 2 years ago