Skip to content
View cristian-mattarei's full-sized avatar
17 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro

Organizations

@CVC4
Block or Report

Block or report cristian-mattarei

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

  1. CoSA CoSA Public

    CoreIR Symbolic Analyzer

    Python 60 15

  2. CoSA-models CoSA-models Public

    SystemVerilog 3

  3. ecmascript_sharedmem ecmascript_sharedmem Public

    Forked from tc39/proposal-ecmascript-sharedmem

    Shared memory and atomics for ECMAscript

    HTML

  4. compiled_softwares compiled_softwares Public

    Pre-compiled softwares for EMME testing

  5. coreir coreir Public

    Forked from rdaly525/coreir

    C++

  6. pysmt pysmt Public

    Forked from pysmt/pysmt

    pySMT: A library for SMT formulae manipulation and solving

    Python