mhlr/bobj
algebraic specification and verification system
Public GitHub Catalog
Discovered Sep 27, 2026
mhlr / OptiQL
Various Implementations of OptiQL
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.
#8636293GitHub 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.