Projects in Awesome Lists tagged with variable-binding
A curated list of projects in awesome lists tagged with variable-binding .
https://github.com/brendanzab/moniker
Automagical variable binding library for Rust
abstract-binding-trees alpha-equivalence debruijn-indices derive locally-nameless programming-languages rust unbound variable-binding
Last synced: 17 Mar 2025
https://github.com/lambdageek/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
bound ghc-generics haskell-library substitution unbound variable-binding
Last synced: 10 Apr 2025
https://github.com/rocq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
coq coq-ci debruijn-indices mathcomp ssreflect variable-binding
Last synced: 11 Apr 2025
https://github.com/coq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
coq coq-ci debruijn-indices mathcomp ssreflect variable-binding
Last synced: 16 Mar 2025
https://github.com/rocq-community/dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
coq debruijn-indices variable-binding
Last synced: 10 Apr 2025
https://github.com/dunnl/tealeaves
A Coq library for abstract syntactical reasoning
Last synced: 29 Jul 2025
https://github.com/seddryck/expressif
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.
predicate predicate-functions variable-binding variable-substitution
Last synced: 12 Apr 2025
