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

Block or report vgrcs

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

    WCET analyzer/checker

    Haskell 1

  2. SurfaceEffects SurfaceEffects Public

    Second Version of Surface Effects (2016)

    Coq 1

  3. CertifiedDOP CertifiedDOP Public

    Certification of DOP binaries using PCC

    Haskell 1

  4. surface-effects surface-effects Public

    Surface Effects for Deterministic Parallelism

    Coq

  5. gtknodes gtknodes Public

    Forked from aluntzer/gtknodes

    A GTK-based library to create functional flow graphs with the ability to pass arbitrary data between connected elements.

    C