Last released Jun 27, 2026
A compiler that understands mathematics: it optimizes expressions by reasoning about algebra, using equality saturation over an e-graph.
Last released Aug 2, 2025
A versatile command-line toolkit for developers.
Last released Jun 6, 2025
High-quality hybrid random number generator for scientific computing
Supported by
