variable-binding

There are 7 repositories under variable-binding topic.

  • brendanzab/moniker

    Automagical variable binding library for Rust

    Language:Rust678167

  • rocq-community/autosubst

    Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

    Language:Coq62101315

  • lambdageek/unbound-generics

    Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

    Language:Haskell5642818

  • rocq-community/dblib

    Coq library for working with de Bruijn indices [maintainer=@KevOrr]

    Language:Coq305

  • dunnl/tealeaves

    A Coq library for abstract syntactical reasoning

    Language:Coq23310
  • Expressif

    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.

    Language:C#121240

  • anikghosh256/compile-template

    Minimal templates for Node.js

    Language:JavaScript0220