Etiqueta del catálogo

#egraphs

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

1 registro

Con la etiqueta «egraphs»Ordenado por índice de salud

crates.io

69Buenoíndice de salud

tamnd/rucc

An optimizing C compiler written in Rust. Verified rewrite rules, acyclic e-graphs, no external assembler. The target ladder is SQLite, then PostgreSQL, then the Linux kernel.

Rust · C★ 4↓ 9229/mes27 sept 2026

Apache-2.027 sept 2026 · métricas 2.10.0