Pinned Repositories
conch
conch (Contract Compliance Checker) is a software for performing contract compliance checking
contraval
A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.
mosco
A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.
mirage-decks
mirage-tutorial
Mirage OS tutorial notebooks using IOCaml
TECOmate
Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology
contactsServer
http contacts server in OCaml with access control policies implemented in moana
carlos-molina.github.io
periquito
cupcake
Delicious digital cupcakes, fresh from the oven
helloWorldPowershellModule
hello world in Powershell using a module
carlos-molina's Repositories
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.
carlos-molina/TECOmate
Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology
carlos-molina/contactsServer
http contacts server in OCaml with access control policies implemented in moana
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/carlos-molina.github.io
periquito
carlos-molina/cupcake
Delicious digital cupcakes, fresh from the oven
carlos-molina/helloWorldPowershellModule
hello world in Powershell using a module
carlos-molina/LeyAlgomata
Ley Algomata (Lex Algomata)
carlos-molina/Magritte
carlos-molina/mirage-decks
carlos-molina/mirage-tutorial
Mirage OS tutorial notebooks using IOCaml
carlos-molina/MoanaML
Moana implementation in OCAML
carlos-molina/PiCasso
carlos-molina/SoliditySample