variable-binding topic
List
variable-binding repositories
moniker
67
Stars
7
Forks
Watchers
Automagical variable binding library for Rust
autosubst
48
Stars
12
Forks
Watchers
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
dblib
28
Stars
4
Forks
Watchers
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
tealeaves
23
Stars
0
Forks
Watchers
A Coq library for abstract syntactical reasoning
unbound-generics
55
Stars
17
Forks
Watchers
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)