dmishin/knuth_bendix
Knuth-Bendix algorithm implementation for finitely generated groups, in Python.
Public GitHub Catalog
Discovered Oct 1, 2026
dmishin / revca_spaceship_searcher
Public repository discovered through GitHub real-time crawl.
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.
#20702906GitHub System ID
dmishinOrganization / User
PublicVisibility
ActiveCatalog Status
More from dmishin
dmishin/geometric-median
Merge multiple images, using pixelwise geometric median.
dmishin/arithmetic-hide-and-seek
Proof-pof-concept code tthat impelements Angel's algorightm from the "Arithmetic hide and seek" problem
dmishin/singlerot-smooth
"Single Rotation" cellular automaton demonstration with Lanczos smoothing