binders

There are 0 repository under binders topic.

namin / logically
explorations in core.logic
clojure prolog abstract-interpretation metaprogramming logic-programming paper-implementations binders
Language:Clojure 113
rlepigre / ocaml-bindlib
Efficient binder representation in OCaml
hoas binders
Language:OCaml 39
namin / dafny-sandbox
Dafny for Metatheory of Programming Languages
binders coq dafny meta-theory
Language:Dafny 21
thakur-nandan / DeepLearningWithKeras
How to use the Keras Deep Learning library
deep-learning keras jupyter-notebook machine-learning binder neural-networks mnist mnist-classification keras-neural-networks keras-tensorflow keras-classification-models binder-ready binder-jupyter-notebook binders
Language:Jupyter Notebook 9
jvanbruegge / binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
binders hacktoberfest isabelle
Language:Isabelle 3
mjustus / freshtt
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
dependent-types type-checking binders algebraic-data-types
Language:OCaml 1
defijs / common-binders
Common defi.js binders
binders
Language:JavaScript 0
darvik80 / spring-cloud-stream-pgq
Spring Cloud BInder for pgq
pgq postgresql binders spring-cloud-stream spring-cloud
Language:Java
iamshreeram / prebinder
Pre bind the documents into jupyter notebooks
pandas azure prebind binders
Language:HTML

namin / logically