michaelpj/ghprb-plugin
github pull requests builder plugin for Jenkins
Public GitHub Catalog
Discovered Oct 14, 2026
michaelpj / idris-datalog
Public repository discovered through GitHub real-time crawl.
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.
#38065040GitHub System ID
michaelpjOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelpj
michaelpj/termsandtruthconditions
It's a blog
michaelpj/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
michaelpj/scalaz
An extension to the core Scala library for functional programming.