greenTara/Java4CL
A Java library for ISO Common Logic ontologies.
Testing publishing the RuleML website (static HTML only) from Github
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A Java library for ISO Common Logic ontologies.
A textbook on informal homotopy type theory
Lightweight, modular, and extensible library for functional programming.
tests of JVM-based functional programming libraries