A JavaScript library for experimenting with concepts from first order logic, description logic, model theory, type theory, set theory, RDF, OWL, SKOS, etc. Aspires to be "standard" open source javascript by using npm, jest, standardjs, EcmaScript modules accessible from both HTML and server-side nodejs.
jklemke/js-sig-reg
A JavaScript library for experimenting with concepts from first order logic, description logic, model theory, type theory, set theory, RDF, OWL, SKOS, etc. Aspires to be "standard" open source javascript by using npm, jest, standardjs, EcmaScript modules accessible from both HTML and server-side nodejs.
JavaScriptMIT