jbangert/kerckhoffs
Automatically exported from code.google.com/p/kerckhoffs
Public GitHub Catalog
Discovered Oct 3, 2026
jbangert / BoogieDafny
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#26973734GitHub System ID
jbangertOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbangert
jbangert/wooster
Wooster is an Mandatory Access Control gem for ActiveRecord
jbangert/org-reveal
Exports Org-mode contents to Reveal.js HTML presentation.
jbangert/nail
A practical interface generator for data formats.