{"owner":"HarvardPL","github":"https://github.com/HarvardPL","claimed":false,"inventory":[],"indexed":[{"repo":"HarvardPL/formulog","github":"https://github.com/HarvardPL/formulog","description":"Datalog with support for SMT queries and first-order functional programming","language":"Java","stars":178,"topics":["datalog","logic-programming","smt","static-analysis","symbolic-execution"],"license":"Apache-2.0","category":"dev-tools"},{"repo":"HarvardPL/AbcDatalog","github":"https://github.com/HarvardPL/AbcDatalog","description":"Datalog that's as easy as ABC.","language":"Java","stars":72,"topics":["datalog","logic-programming","declarative-programming","knowledge-base","rule-engine"],"license":null,"category":"productivity"}],"how_to_buy":"GET /r/HarvardPL/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}