hoheinzollern/foreign-ocaml
Haskell Foreign Function Interface (FFI) for OCaml
Public GitHub Catalog
Discovered Oct 7, 2026
hoheinzollern / FStar
An ML-like language with a type system for program verification
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.
#34322955GitHub System ID
hoheinzollernOrganization / User
PublicVisibility
ActiveCatalog Status
More from hoheinzollern
hoheinzollern/RoleCluster
Cluster roles in ProM6 using activity stats
hoheinzollern/asperix
asperix branch with max support
hoheinzollern/tracker
Tracker desktop search with unity lens