carlos-molina/Contacts-Server
http contacts server in OCaml with access control policies implemented in moana
Public GitHub Catalog
Discovered Sep 27, 2026
carlos-molina / contraval
A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.
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.
#10290528GitHub System ID
carlos-molinaOrganization / User
PublicVisibility
ActiveCatalog Status
More from carlos-molina
carlos-molina/carlos-molina.github.io
periquito
carlos-molina/mirage-tutorial
Mirage OS tutorial notebooks using IOCaml
carlos-molina/mirage-decks
Public repository.