mcrisc/gedit-urlautoref-plugin
Gedit Plugin that transforms pasted URLs into numbered references
Public GitHub Catalog
Discovered Oct 2, 2026
mcrisc / PiAlgorithms
Many ways to estimates PI
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.
#23932856GitHub System ID
mcriscOrganization / User
PublicVisibility
ActiveCatalog Status
More from mcrisc
mcrisc/makegen
A Makefile generator
mcrisc/duphunter
Duplicated files hunter
mcrisc/SetJS
A Set (as in math) implementation in JavaScript