bobatkey/interleaving
Work on reasoning about interleaved data and effects
Public GitHub Catalog
Discovered Sep 25, 2026
bobatkey / coqjvm
Coq executable semantics and resource verifier
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4337522GitHub System ID
bobatkeyOrganization / User
PublicVisibility
ActiveCatalog Status
More from bobatkey
bobatkey/unboxed
Unboxed arrays for OCaml
bobatkey/ocamlmvc
An MVC library for writing interactive webpages in OCaml
bobatkey/sorting-types
Typed DSLs for sorting