dmishin/knuth_bendix
Knuth-Bendix algorithm implementation for finitely generated groups, in Python.
Public GitHub Catalog
Discovered Sep 26, 2026
dmishin / babushkin_arch
An implementation of the rational approximation encoding algorithm ("Babushkin compression")
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.
#8486556GitHub 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