osa1 / parsegenLinks
An LR(1) parser generator, implemented as a proc macro
☆16Updated 2 years ago
Alternatives and similar repositories for parsegen
Users that are interested in parsegen are comparing it to the libraries listed below
Sorting:
- yk packages☆33Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Rust testing framework for compilers and VMs☆51Updated 8 months ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 4 months ago
- Macros have types!☆132Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- ☆39Updated 4 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated this week
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 5 years ago
- Program analysis playground for a simple, imperative language☆37Updated 3 years ago
- ☆37Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- ☆71Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- ☆30Updated 8 months ago
- ☆33Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- MiniSat reimplemented in Rust☆20Updated 7 years ago
- An experimental optimizing compiler for Bril☆78Updated this week
- A Hindley-Milner polymorphic typing system☆59Updated last year
- Datalog with equality for rust☆71Updated last week
- Type-Level Programming in Rust☆27Updated 3 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- The Pulse separation logic DSL for F*☆26Updated last week
- A Rust hashconsing library.☆35Updated last year
- ☆58Updated 3 months ago