moratori/searcher
search engine
Public GitHub Catalog
Discovered Oct 1, 2026
moratori / kbcompl
implementation of Knuth-Bendix completion algorithm
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.
#21492323GitHub System ID
moratoriOrganization / User
PublicVisibility
ActiveCatalog Status
More from moratori
moratori/flexpr2
rewriting of flexpr
moratori/AOJ
solutions for AOJ
moratori/id3
generate decision tree in ID3 algorithm