Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 27 Oct 2024
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: 26 Oct 2024
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: 10 Oct 2024
https://github.com/dunnl/tealeaves
A Coq library for abstract syntactical reasoning
Last synced: 10 Oct 2024
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: 10 Nov 2024
