bashi-bazouk/ACL2OCaml
Socket binding to the Centaur ACL2 Bridge
Public GitHub Catalog
Discovered Sep 30, 2026
bashi-bazouk / Monograph
Collect and output OCaml ml files in dependency order.
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.
#17922727GitHub System ID
bashi-bazoukOrganization / User
PublicVisibility
ActiveCatalog Status
More from bashi-bazouk
bashi-bazouk/mongrel2ocaml
Simple functions for reading requests and writing responses.
bashi-bazouk/mongrel2
The Mongrel2 Web Server Project
bashi-bazouk/IndividualAgent
IndividualAgent is a federated social network. Contact the owner for more information.