rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

MIT License

Stars
90
View Code on GitHub View on X
Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
type-theory

Typed λ-calculus in Rust

05 Jun 2019 28
parze

A clean, efficient parser combinator

25 Nov 2019 123
RustyLR

GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action

13 Jul 2024 9
miniml

29 Feb 2016 21
gll-pg

A GLL parser generator, inspired by MashPlant/lalr1.

12 Nov 2019 6
rust-asdi

Another Simplistic Datalog Implementation (in Rust)

03 Dec 2021 3
jinx-rust

A permissive Rust Parser for Rust Tooling written in Typescript

25 Jul 2022 29
ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.

10 Sep 2021 107
rust-schemer

A pedantic implementation of the R7RS Scheme programming language in Rust

30 Jul 2021 6
rust-peg

Parsing Expression Grammar (PEG) parser generator for Rust

19 Aug 2013 1,389
oxide

The essence of Rust.

09 Jun 2017 122
arithmetic-parser

Versatile parser for arithmetic expressions

09 Apr 2020 9
typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust

20 May 2022 96
purescript-analyzer

[🚀 Work In Progress] Compiler frontend for the PureScript programming language.

23 Jul 2023 52
dtt

experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust

17 Apr 2020 23