#

binders

Here are 7 public repositories matching this topic...

namin / logically

Star

explorations in core.logic

clojure metaprogramming prolog logic-programming abstract-interpretation paper-implementations binders

Updated Aug 31, 2019
Clojure

rlepigre / ocaml-bindlib

Star

Efficient binder representation in OCaml

Updated Dec 19, 2019
OCaml

namin / dafny-sandbox

Star

Dafny for Metatheory of Programming Languages

coq dafny meta-theory binders

Updated Jun 13, 2018

NThakur20 / DeepLearningWithKeras

Star

How to use the Keras Deep Learning library

machine-learning binder deep-learning keras jupyter-notebook mnist neural-networks mnist-classification keras-classification-models keras-neural-networks keras-tensorflow binder-ready binders binder-jupyter-notebook

Updated May 11, 2019
Jupyter Notebook

iamshreeram / prebinder

Star

Pre bind the documents into jupyter notebooks

azure pandas binders prebind

Updated Aug 19, 2019
HTML

mjustus / freshtt

Star

A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.

dependent-types algebraic-data-types type-checking binders

Updated Feb 9, 2020
OCaml

defijs / common-binders

Star

Common defi.js binders

binders

Updated May 14, 2020
JavaScript

Improve this page

Add a description, image, and links to the binders topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the binders topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.