arademaker/alc-lean
Formalization of ALC Logic in LEAN Prover
Public GitHub Catalog
Discovered Oct 5, 2026
arademaker / ceur-make
A set of scripts to semi-automatically generate workshop proceedings for CEUR-WS.org
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.
#30425510GitHub System ID
arademakerOrganization / User
PublicVisibility
ActiveCatalog Status
More from arademaker
arademaker/krr
Knowledge Representation and Reasoning
arademaker/VIVO-languages
Files that enable VIVO (supported by Vitro) to operate in languages beyond American English.
arademaker/oai-client
CL OAI-Client and XSL Transformations