Projects in Awesome Lists tagged with binders
A curated list of projects in awesome lists tagged with binders .
https://github.com/namin/logically
explorations in core.logic
abstract-interpretation binders clojure logic-programming metaprogramming paper-implementations prolog
Last synced: 09 Jul 2025
https://github.com/rlepigre/ocaml-bindlib
Efficient binder representation in OCaml
Last synced: 16 Jul 2025
https://github.com/namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
Last synced: 16 Mar 2025
https://github.com/namin/minikanren-confo
core.logic.nominal at the minikanren confo 2013
binders clojure minikanren paper-implementations
Last synced: 31 Aug 2025
https://github.com/thakur-nandan/deeplearningwithkeras
How to use the Keras Deep Learning library
binder binder-jupyter-notebook binder-ready binders deep-learning jupyter-notebook keras keras-classification-models keras-neural-networks keras-tensorflow machine-learning mnist mnist-classification neural-networks
Last synced: 14 Apr 2025
https://github.com/jvanbruegge/binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
binders hacktoberfest isabelle
Last synced: 24 Jan 2026