Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "programming-language-theory" keyword

View the packages on the crates.io package registry that are tagged with the "programming-language-theory" keyword.

lambda_mountain 1.16.40 💰
Typed Macro Assembler (backed by Coq proofs-of-correctness)
415 versions - Latest release: about 1 year ago - 2 dependent packages - 535 thousand downloads total - 7 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.
1 version - Latest release: almost 3 years ago - 1.57 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
interpreter 2 programming-language 2 functional-programming 2 lambda-calculus 2 compiler 1 assisted-reasoning 1 functional 1 repl 1 lambda-calculus-evaluator 1 lambda-calculus-interpreter 1 mathematics 1 parser 1 programming-language-development 1