Pinned Loading

1. conch conch Public

   conch (Contract Compliance Checker) is a software for performing contract compliance checking

   Java 5 5

2. contraval contraval Public

   A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.

   2 3

3. mosco mosco Public

   A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.

   Java 3 3

4. mirage-decks mirage-decks Public

   Forked from mirage/mirage-decks

   CSS

5. mirage-tutorial mirage-tutorial Public

   Forked from mor1/mirage-tutorial

   Mirage OS tutorial notebooks using IOCaml

   JavaScript

6. TECOmate TECOmate Public

   Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology

   Java 3 2