pkrumins/the-little-prover
All code examples from "The Little Prover" book
Public GitHub Catalog
Discovered Sep 27, 2026
pkrumins / testling-ci-badge-checker
This perl program checks github repos for testling-ci badges
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.
#9374579GitHub System ID
pkruminsOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkrumins
pkrumins/ImgurUploadPHP
PHP class for quickly uploading images to Imgur.
pkrumins/keyboard-for-dima
keyboard via jquery for browserling
pkrumins/rackspace-traffic
Parse the Rackspace invoice CSV and print the summary of cloud server traffic