mmalvarez/mmalvarez.github.io-new2
My Website!
Public GitHub Catalog
Discovered Sep 27, 2026
mmalvarez / bson-ruby
Ruby Implementation of the BSON Specification (2.0.0+)
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.
#10830483GitHub System ID
mmalvarezOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmalvarez
mmalvarez/mmalvarez.github.io-OLD
My GitHub Pages
mmalvarez/mirror-shard
Reflective verification procedures for separation logic programs in Coq
mmalvarez/pyretic
The Pyretic runtime system