carlos-molina/Contacts-Server
http contacts server in OCaml with access control policies implemented in moana
Developer Profile
carlos-molina
Discovered public repositories for carlos-molina in the GitHub catalog.
carlos-molina/mirage-tutorial
Mirage OS tutorial notebooks using IOCaml
carlos-molina/mirage-decks
Public repository.
carlos-molina/MoanaML
Moana implementation in OCAML
carlos-molina/contraval
A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.
carlos-molina/conch
conch (Contract Compliance Checker) is a software for performing contract compliance checking
carlos-molina/mosco
A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.