Skip to content
View faustocarva's full-sized avatar
😱
😱
32 followers · 283 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@iris-email-client
Block or Report

Block or report faustocarva

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. hephaestus-pl hephaestus-pl Public

    Forked from rbonifacio/hephaestus-pl

    fork of hephaestus-pl for the implementation of fDTMC and compositional DTMC.

    Haskell 1

  2. PAMunb/MetaCrySL PAMunb/MetaCrySL Public

    XText-based MetaCrySL language

    Xtend 2 1

  3. iris-email-client/iris-delta-programming iris-email-client/iris-delta-programming Public

    Delta oriented (DOP) version of IRIS Email Client

    Shell 1

  4. PAMunb/JimpleFramework PAMunb/JimpleFramework Public

    A Rascal implementation of the Jimple framework.

    Java 13 5

  5. pca_graphs_2023 pca_graphs_2023 Public

    Rust 2 1