type-theory

Typed λ-calculus in Rust

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

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
rust-schemer

A pedantic implementation of the R7RS Scheme programming language in Rust

30 Jul 2021 6
jinx-rust

A permissive Rust Parser for Rust Tooling written in Typescript

25 Jul 2022 29
dtt

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

17 Apr 2020 23
arithmetic-parser

Versatile parser for arithmetic expressions

09 Apr 2020 9
rust-nbe-for-mltt

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

20 Nov 2018 90
common-expression-language

12 Jun 2023 6
trilogy

Actually just three programming languages in a trenchcoat

29 Dec 2022 1
miniml

29 Feb 2016 21
typed-type-exercise-in-rust

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

20 May 2022 96
ein

🐕 A little programming language written in Rust

26 Mar 2018 54
stlc-in-a-week

Write yourself a simply-typed lambda calculus using Rust in a week!

06 Mar 2024 12
shiranui

Incomplete Scheme R7RS implementation in Rust

31 Jan 2015 6
sigil

a lisp oxide

27 Mar 2021 4
RustyLR

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

13 Jul 2024 9
tiscript

Turing-Incomplete TypeScript as a Configuration Language

05 Jul 2024 11