#

paper-implementations

Here are 3 public repositories matching this topic...

namin / logically

explorations in core.logic

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

Updated Jun 14, 2024
Clojure

namin / minikanren-confo

core.logic.nominal at the minikanren confo 2013

clojure minikanren paper-implementations binders

Updated Feb 9, 2023
Clojure

namin / steps

open, extensible composition models

clojure paper-implementations

Updated Aug 25, 2018
Clojure

Improve this page

Add a description, image, and links to the paper-implementations 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 paper-implementations topic, visit your repo's landing page and select "manage topics."