Pinned Repositories
Core-Smart-Contracts-v1
External Validation
Core-Smart-Contracts-v1-upgradable
Pacioli-Node-Helper
Holds private key to allow unattended restarting of a Pacioli node Docker container
providerManger
Docker
TPLP-swish
TPLP paper about SWISH
LogicalEnglish
interprolog
Java <-> XSB Prolog bridge library
react-pivottable
Fork of the official https://github.com/plotly/react-pivottable
TaxKB
Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
qualm
a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms
mcalejo's Repositories
mcalejo/interprolog
Java <-> XSB Prolog bridge library
mcalejo/TaxKB
Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
mcalejo/react-pivottable
Fork of the official https://github.com/plotly/react-pivottable