jbracker/polymonad-proofs
Agda proofs about polymonads
Public GitHub Catalog
Discovered Sep 27, 2026
jbracker / diagrams-sunroof
A Diagrams backend using Sunroof to render using the HTML5 Canvas element.
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.
#10501821GitHub System ID
jbrackerOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbracker
jbracker/chart-sunroof
Sunroof backend to the Chart library
jbracker/presentation-gen
Generates reveal.js presentations from Markdown