Skip to content
View gsfyrakis's full-sized avatar
11 followers · 30 following
  • Teesside University

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report gsfyrakis

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

  1. conch conch Public

    Forked from carlos-molina/conch

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

    Java 1

  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 1

  3. CCCEnforcer CCCEnforcer Public

    Java

  4. TECOmate TECOmate Public

    Forked from carlos-molina/TECOmate

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

    Java