OliverKillane / WACC-Compiler
A highly extensible WACC compiler developed in Rust
☆2Updated 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
- ☆45Updated 4 years ago
- ☆38Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Propositional logic with exponentials☆20Updated 3 months ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- Trait generalization of the fundamental types☆44Updated 10 months ago
- Scope Graph Implementation in Rust☆25Updated 5 months ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- exhaustive testing library☆63Updated 8 months ago
- A toy incremental computation framework☆15Updated 4 years ago
- ☆34Updated 3 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆29Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- hindley-milner algorithm☆58Updated last year
- Macros have types!☆129Updated 2 years ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- ☆34Updated 3 months ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- ☆17Updated 4 years ago
- ☆12Updated last month
- A highly experiment portable runtime☆19Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Working prototype☆16Updated 3 years ago