Skip to content
View ellis1's full-sized avatar
3 followers · 2 following

Block or report ellis1

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

Popular repositories Loading

  1. conch conch Public

    Forked from carlos-molina/conch

    conch (Con-tract Ch-ecker) is a software for performing contract compliance checking.

    Java

  2. mosco mosco Public

    Forked from carlos-molina/mosco

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

    Java

  3. com.youtube.rest com.youtube.rest Public

    Java Rest Tutorial

  4. contraval contraval Public

    Forked from carlos-molina/contraval

    A tool for validating the logical consistency of electronic contracts inplemented at Newcastle Univ. UK

    C 1