arademaker/solr
Allegro Common Lisp interface to Solr
Public GitHub Catalog
Discovered Sep 24, 2026
arademaker / SALC
A Sequent Calculus for ALC (Description Logic)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#356674GitHub System ID
arademakerOrganization / User
PublicVisibility
ActiveCatalog Status
More from arademaker
arademaker/SDA-2013
article submitted for SDA-2013 (temporary repo)
arademaker/cbabel
A Rewriting Semantics for the CBABEL Architecture Description Language
arademaker/emap-techreport
LaTeX files for EMAP techreport