jasonreich/slack-plugin
A Jenkins CI plugin for posting notifications to a Slack channel
Public GitHub Catalog
Discovered Sep 25, 2026
jasonreich / ProofKata
Over the last three years, I've played with more theorem provers than I can actually remember. As I redescover small examples, I shall put them up here for posterity.
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.
#3297561GitHub System ID
jasonreichOrganization / User
PublicVisibility
ActiveCatalog Status
More from jasonreich
jasonreich/CodeMirror
In-browser code editor
jasonreich/jade_npp
Notepad++ syntax highlighting for Jade
jasonreich/underbaked
Experiments with Geolocation