Indexed Artifacts (16.1M)

Popular Categories

Artifacts using core.logic version 0.8.3

A model querying and transformation library for TGraphs and EMF models developed as part of Tassilo Horn's dissertation studies.
Last Release on Jan 5, 2019
Library to specify conversions
Last Release on May 23, 2013
A library for interacting with dynamic program state
Last Release on Jan 5, 2015
a general Algebraic Expression manipulation library in clojure
Last Release on May 14, 2017
Compiler Toolkit using LLVM
Last Release on May 10, 2013

6. PLDB

pldb » pldbEPL

PLDB - a persistent logic database for core.logic
Last Release on Jun 26, 2013