moratori/searcher
search engine
Public GitHub Catalog
Discovered Sep 29, 2026
moratori / namespace
reduce lengthy of the defpackage
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.
#16255914GitHub System ID
moratoriOrganization / User
PublicVisibility
ActiveCatalog Status
More from moratori
moratori/flexpr2
rewriting of flexpr
moratori/kbcompl
implementation of Knuth-Bendix completion algorithm
moratori/AOJ
solutions for AOJ