variable-binding

There are 0 repository under variable-binding topic.

• brendanzab / moniker

  Automagical variable binding library for Rust

  rustprogramming-languagesderivelocally-namelessdebruijn-indicesalpha-equivalencevariable-bindingabstract-binding-treesunbound
  Language:Rust 67

• lambdageek / unbound-generics

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

  boundghc-genericshaskell-librarysubstitutionunboundvariable-binding
  Language:Haskell 55

• coq-community / autosubst

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

  coqvariable-bindingdebruijn-indicesssreflectmathcompcoq-ci
  Language:Coq 48

• coq-community / dblib

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

  coqdebruijn-indicesvariable-binding
  Language:Coq 28

• dunnl / tealeaves

  A Coq library for abstract syntactical reasoning

  coqvariable-bindingsyntax
  Language:Coq 21
• 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.

  predicatepredicate-functionsvariable-bindingvariable-substitution
  Language:C# 1

• anikghosh256 / compile-template

  Minimal templates for Node.js

  micro-compilertemplate-enginevariable-binding
  Language:JavaScript 0