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 "variable-binding" keyword

View the packages on the crates.io package registry that are tagged with the "variable-binding" keyword.

moniker-derive 0.5.0
Derives for the moniker crate
10 versions - Latest release: over 7 years ago - 1 dependent package - 1 dependent repositories - 17.7 thousand downloads total - 67 stars on GitHub - 1 maintainer
moniker 0.5.0
Automatically derive variable binding and alpha equivalence for abstract syntax trees
10 versions - Latest release: over 7 years ago - 2 dependent repositories - 17 thousand downloads total - 68 stars on GitHub - 1 maintainer
Related Keywords
debruijn-indices 2 alpha-equivalence 2 locally-nameless 2 abstract-binding-trees 2 derive 2 programming-languages 2 rust 2 unbound 2