OliverKillane / WACC-Compiler
A highly extensible WACC compiler developed in Rust
☆1Updated 2 years ago
Alternatives and similar repositories for WACC-Compiler:
Users that are interested in WACC-Compiler are comparing it to the libraries listed below
- Propositional logic with types in Rust☆62Updated last year
- ☆16Updated last year
- exhaustive testing library☆63Updated 8 months ago
- ☆45Updated 4 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Generate bindings for Futhark☆37Updated 2 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆17Updated 4 years ago
- hindley-milner algorithm☆58Updated last year
- ☆12Updated last week
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Working prototype☆16Updated 3 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- ☆16Updated last year
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 weeks ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last week
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- ☆37Updated last year
- ☆41Updated last year
- Stack safe and expressive recursion in Rust☆96Updated 2 months ago
- ☆33Updated 2 months ago
- Macros have types!☆129Updated 2 years ago
- ☆29Updated 11 months ago
- Trait generalization of the fundamental types☆43Updated 9 months ago