iwehrman/position-bookmarklet
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
iwehrman / Slothrop
Slothrop is an automated equational theorem prover that performs a variant of Knuth-Bendix completion.
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.
#7331358GitHub System ID
iwehrmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from iwehrman
iwehrman/node-connection-example
Public repository.
iwehrman/node-connection
Public repository.
iwehrman/generator-domains
Public repository.