An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
☆167Feb 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for ena
Users that are interested in ena are comparing it to the libraries listed below
Sorting:
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,983Feb 8, 2026Updated 2 weeks ago
- GLL parsing framework.☆140Mar 18, 2024Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,772Feb 7, 2026Updated 3 weeks ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- ☆818Jul 27, 2025Updated 7 months ago
- Rust implementation of Base64 VLQ for source maps☆18Oct 9, 2019Updated 6 years ago
- Library for snippet annotations☆481Feb 18, 2026Updated last week
- A lightweight Datalog engine in Rust☆861Dec 14, 2025Updated 2 months ago
- Counting occurrences of a given byte or UTF-8 characters in a slice of memory – fast☆232Jun 3, 2025Updated 8 months ago
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 10 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- Runtime for executing procedural macros as WebAssembly☆1,471Jan 21, 2026Updated last month
- An on-disk hash table implementation☆126Oct 29, 2021Updated 4 years ago
- ☆78Aug 23, 2025Updated 6 months ago
- Arena based tree 🌲 structure by using indices instead of reference counted pointers☆775Updated this week
- An intrusive flamegraph profiling tool for rust.☆730Feb 25, 2024Updated 2 years ago
- Crate for data that should be pinned to the stack at the point of declaration.☆14Dec 21, 2020Updated 5 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 4 years ago
- historical archive of rust pre-publication development☆710Nov 29, 2024Updated last year
- Defines the Rust borrow checker.☆1,582Jun 6, 2025Updated 8 months ago
- Rust port of Google's SwissTable hash map☆2,866Feb 22, 2026Updated last week
- Rust's standard library vendor-specific APIs and run-time feature detection☆658Updated this week
- The arena, a fast but limited type of allocator☆578Aug 16, 2024Updated last year
- An experimental reimplementation of rowan, focused on size efficiency☆25Sep 4, 2020Updated 5 years ago
- Bechmarks for Rust big integer implementations☆65Jul 1, 2024Updated last year
- A very small GC in Rust, with a safe API☆67Jul 2, 2024Updated last year
- Cranelift code generator☆2,505Jun 26, 2020Updated 5 years ago
- A snapshot testing library for rust☆2,776Feb 15, 2026Updated last week
- Rust implementations of compiler-rt and libm☆477Feb 20, 2026Updated last week
- Support crate for rustc's self-profiling feature☆377Jul 9, 2025Updated 7 months ago
- ☆22Sep 26, 2016Updated 9 years ago
- home for proposals in and around compile-time function evaluation☆113Dec 8, 2025Updated 2 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,282Oct 22, 2025Updated 4 months ago
- garbage collection☆327Jul 24, 2019Updated 6 years ago
- Automatic checking for semantic versioning in library crates☆632Jul 17, 2023Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆502Dec 14, 2025Updated 2 months ago
- Whole program static stack analysis☆649Oct 28, 2024Updated last year