Skip to content
View agouglidis's full-sized avatar
1 follower · 1 following

Highlights

  • Pro

Block or report agouglidis

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. porttoipv6 porttoipv6 Public

    PortToIPv6 is an opensource framework that attempts to automate the porting process of applications written in IPv4 to IPv6. It consists of a number of tools able to breakdown the porting process i…

    HTML

  2. GROMACS_TOOLS GROMACS_TOOLS Public

    A collection of tools for manipulating .gro files

    C++

  3. GoogleIAM-NuSMV GoogleIAM-NuSMV Public

    NuSMV examples in support of the 'Model Checking Access Control Policies: A Case Study using Google Cloud IAM' paper.

  4. UseCON-TLA_PLUS UseCON-TLA_PLUS Public

    UseCON specification used in "Specifying and Verifying Usage Control Models and Policies in TLA+"

    TLA

  5. BoardGame-TLA_PLUS BoardGame-TLA_PLUS Public

    Solution to a puzzle game using TLA+

    TLA

  6. agouglidis.github.io agouglidis.github.io Public

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    JavaScript