arademaker/alc-lean
Formalization of ALC Logic in LEAN Prover
Public GitHub Catalog
Discovered Oct 1, 2026
arademaker / vivo-2014-apps
VIVO Apps&Tools workshop presentation
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.
#22697808GitHub System ID
arademakerOrganization / User
PublicVisibility
ActiveCatalog Status
More from arademaker
arademaker/krr
Knowledge Representation and Reasoning
arademaker/ceur-make
A set of scripts to semi-automatically generate workshop proceedings for CEUR-WS.org
arademaker/VIVO-languages
Files that enable VIVO (supported by Vitro) to operate in languages beyond American English.