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]

A Coq library for abstract syntactical reasoning

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