dmishin/knuth_bendix
Knuth-Bendix algorithm implementation for finitely generated groups, in Python.
Public GitHub Catalog
Discovered Sep 24, 2026
dmishin / aozora2odt
Simple converter from txt files with Aozora ruby to the *.odt documents with ruby and other formatting.
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.
#1165964GitHub 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