crates.io "lambda-calculus-interpreter" keyword
View the packages on the crates.io package registry that are tagged with the "lambda-calculus-interpreter" keyword.
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: over 2 years ago - 1.36 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
lambda-calculus
2
parser
2
programming-language-theory
1
programming-language-development
1
mathematics
1
lambda-calculus-evaluator
1
functional-programming
1
programming-language
1
repl
1
functional
1
interpreter
1
type-checking
1
theorem-prover
1
rust
1
refinement-types
1
proof-assistant
1
lsts
1
lint
1
lexer
1
language
1
error-reporting
1
dependent-types
1
compiler
1
category-theory
1
ast
1
assisted-reasoning
1
logic
1
proof
1
automated
1
theorem
1
type
1