alanruttenberg/lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Public GitHub Catalog
Discovered Oct 2, 2026
alanruttenberg / Snark
Mark Stickel's Snark theorem prover
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#24615034GitHub System ID
alanruttenbergOrganization / User
PublicVisibility
ActiveCatalog Status
More from alanruttenberg
alanruttenberg/Utils
Utils for the YASGUI libs
alanruttenberg/YASR
Yet Another Sparql Resultset GUI
alanruttenberg/YASQE
Yet Another Sparql Editor