Topic: "variable-binding"
brendanzab/moniker
Automagical variable binding library for Rust
Language: Rust - Size: 312 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 67 - Forks: 7
rocq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Language: Coq - Size: 913 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 56 - Forks: 15
lambdageek/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Language: Haskell - Size: 298 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 56 - Forks: 18
rocq-community/dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
Language: Coq - Size: 206 KB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 5
dunnl/tealeaves
A Coq library for abstract syntactical reasoning
Language: Coq - Size: 10.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 0
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# - Size: 36.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0
anikghosh256/compile-template
Minimal templates for Node.js
Language: JavaScript - Size: 109 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
