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 "lambda_calculus" keyword

View the packages on the crates.io package registry that are tagged with the "lambda_calculus" keyword.

lamcalc 1.2.0
A library for creating, parsing and evaluating lambda calculus
14 versions - Latest release: about 2 years ago - 14 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
de_bruijn_encoding 1 parser 1 de-bruijn 1 lambda-calculus 1 parse 1 rust 1 rust-library 1 rust-macro 1 rust-macros 1 tutorial 1 vitepress 1 vuejs 1 wasm 1