mhlr/bobj
algebraic specification and verification system
Public GitHub Catalog
Discovered Sep 29, 2026
mhlr / training
Training materials for Strata, AMP Camp, etc
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.
#13759233GitHub System ID
mhlrOrganization / User
PublicVisibility
ActiveCatalog Status
More from mhlr
mhlr/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
mhlr/js-scala
js.scala: JavaScript as an embedded DSL in Scala
mhlr/lms-tutorial
Public repository.