Skip to content
View carlos-molina's full-sized avatar
7 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
Block or Report

Block or report carlos-molina

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. conch conch Public

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

    Java 4 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