PrototypeCommon
uwplse/tensat
Re-implementation of the TASO compiler using equality saturation
- Owner
- uwplse (organization)
- Stars
- Stars: 145
- Forks
- Forks: 21
- Language
- Rust
- License
- MIT
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uwplse
All 5 repos by uwplse- uwplse/verdiStars: 627Rocq ProverAlpha
- uwplse/verdi-raftStars: 204CoqPrototype
- uwplse/rulerStars: 158RustPrototype
- uwplse/CassiusStars: 102RacketPrototype
Nearby in Rust
All Rust repos- Zagrios/ObeliskStars: 145RustPrototype
- lulu-loopp/glanceStars: 145RustPrototype
- Aaryan-Kapoor/english-rsStars: 145RustPrototype
- treeman/jonashietalaStars: 145RustPrototype
- jimmycuadra/rust-etcdStars: 145RustPrototype
- achanda/ipnetworkStars: 145RustPrototype