Skip to content
View nevrenato's full-sized avatar
11 followers · 0 following
  • Porto

Block or report nevrenato

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. CSAIL_Git CSAIL_Git Public

    MODELING GIT WITH ALLOY

    Shell 6

  2. Hets_Fork Hets_Fork Public

    A new branch of Hets, where I extend it with new functionalities, in the context of my Thesis

    Haskell

  3. Hybrid_package Hybrid_package Public

    Hybrid Provers Package

  4. HyLoRes_Source HyLoRes_Source Public

    This is an updated version of the HyLoRes source code

    Haskell

  5. IRI_FMI_Annex IRI_FMI_Annex Public

    This repository contains an Alloy model of a DCR graph, along with its encoding to CASL

  6. HTab2HCASL HTab2HCASL Public

    A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL

    Haskell