Normalization by evaluation for Martin-Löf Type Theory with dependent records
MIT License
Typed λ-calculus in Rust
A clean, efficient parser combinator
GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action
A GLL parser generator, inspired by MashPlant/lalr1.
Another Simplistic Datalog Implementation (in Rust)
A permissive Rust Parser for Rust Tooling written in Typescript
Rust implementation of µKanren, a featherweight relational programming language.
A pedantic implementation of the R7RS Scheme programming language in Rust
Parsing Expression Grammar (PEG) parser generator for Rust
The essence of Rust.
Versatile parser for arithmetic expressions
Build database expression type checker and vectorized runtime executor in type-safe Rust
[🚀 Work In Progress] Compiler frontend for the PureScript programming language.
experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust