cratelyn / j Star 47 Code Issues Pull requests 💐 j is a subset of J, and an essay. rust k apl j programming-language-concepts programming-language-theory array-programming performance-art Updated Jul 24, 2025 Rust
Cypher1 / tako Sponsor Star 16 Code Issues Pull requests Discussions An experimental programming language for ergonomic software verification language interpreter solver verification programming-language-theory experimental-programming-language hoare-triples Updated Oct 1, 2025 Rust
sd-visualiser / sd-visualiser Star 15 Code Issues Pull requests String diagram visualiser compiler-plugin programming-language-theory string-diagram string-diagrams mlir lamda-calculus Updated Oct 5, 2025 Rust
azdavis / coc Star 9 Code Issues Pull requests The calculus of constructions rust programming-language-theory Updated Oct 22, 2021 Rust
Carnagion / lamb Star 7 Code Issues Pull requests Pure untyped lambda calculus in safe Rust. parser interpreter functional-programming repl lambda-calculus mathematics programming-language-theory lambda-calculus-evaluator programming-language-development lambda-calculus-interpreter Updated Jan 23, 2023 Rust
mdeand / langdev.blog Sponsor Star 2 Code Issues Pull requests Community Journal for Programming Language Theory and Development rust type-theory programming-language-theory language-development programming-language-development langdev lang-dev Updated Sep 25, 2025 Rust