binders

There are 9 repositories under binders topic.

namin/logically
explorations in core.logic
Language:Clojure115 16 09
rlepigre/ocaml-bindlib
Efficient binder representation in OCaml
Language:OCaml39 6 156
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
Language:Dafny21 4 01
thakur-nandan/DeepLearningWithKeras
How to use the Keras Deep Learning library
Language:Jupyter Notebook9 0 03
jvanbruegge/binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Language:Isabelle3 4 290
mjustus/freshtt
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Language:OCaml1 1 01
defijs/common-binders
Common defi.js binders
Language:JavaScript0 2 00
darvik80/spring-cloud-stream-pgq
Spring Cloud BInder for pgq
Language:Java2 0
iamshreeram/prebinder
Pre bind the documents into jupyter notebooks
Language:HTML2 11