There are 0 repository under variable-binding topic.
Automagical variable binding library for Rust
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
Expressif is the variable substitution syntax combined with a library of predicates and functions. Initially designed for NBi.io, Expressif allows you to define variables, transformations of these variables (with expressions and functions), in plain text, which can then be interpreted by the engine. Same can be done with predicates.
Minimal templates for Node.js