Typed λ-calculus in Rust
A pedantic implementation of the R7RS Scheme programming language in Rust
A permissive Rust Parser for Rust Tooling written in Typescript
experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
Versatile parser for arithmetic expressions
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Actually just three programming languages in a trenchcoat
Build database expression type checker and vectorized runtime executor in type-safe Rust
🐕 A little programming language written in Rust
Write yourself a simply-typed lambda calculus using Rust in a week!
Incomplete Scheme R7RS implementation in Rust
a lisp oxide
GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action
Turing-Incomplete TypeScript as a Configuration Language