variable-binding
Here are 7 public repositories matching this topic...
Automagical variable binding library for Rust
- Updated
Oct 4, 2019 - Rust
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
- Updated
Mar 21, 2024 - Haskell
- Updated
Sep 17, 2024 - Coq
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
- Updated
Sep 15, 2021 - Coq
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.
- Updated
Mar 9, 2025 - C#
Minimal templates for Node.js
- Updated
Apr 2, 2024 - JavaScript
Improve this page
Add a description, image, and links to thevariable-binding topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thevariable-binding topic, visit your repo's landing page and select "manage topics."