Rust implementation of µKanren, a featherweight relational programming language.
MIT License
A pedantic implementation of the R7RS Scheme programming language in Rust
Rust Implementation of Awk
A Rust macro that parses Java-like syntax and runs it as a Rust program
Rewrite of Arthur Whitney's one-page J interpreter in Rust
Another Simplistic Datalog Implementation (in Rust)
Normalization by evaluation for Martin-Löf Type Theory with dependent records
A logic programming library (inspired by uKanren) in Rust.
Source code for Idiomatic Rust: Code like a Rustacean
GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action
any rust for javascript lover
EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.
Typed λ-calculus in Rust
Incomplete Scheme R7RS implementation in Rust
A simple R extension interface using Rust
D-inspired contract programming in Rust using macros