Giters
Cristian Mattarei (cristian-mattarei)

cristian-mattarei

Geek Repo

17

followers

0

following

7

stars

Company:Stanford University

Home Page:http://www.mattarei.eu/cristian

Github PK Tool:Github PK Tool

Organizations
CVC4

Cristian Mattarei's repositories

CoSA

CoreIR Symbolic Analyzer

Language:PythonLicense:NOASSERTIONStargazers:60Issues:7Issues:20

CoSA-models

Language:SystemVerilogStargazers:3Issues:0Issues:0

bit_vector

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

collective.usermanual

Language:PythonStargazers:0Issues:1Issues:0

compiled_softwares

Pre-compiled softwares for EMME testing

Stargazers:0Issues:0Issues:0

coreir

Language:C++Stargazers:0Issues:0Issues:0

ecmascript_sharedmem

Shared memory and atomics for ECMAscript

Language:HTMLLicense:MPL-2.0Stargazers:0Issues:0Issues:0

FuseIC3

An Algorithm for Checking Large Design Spaces

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

pycoreir

Python bindings for coreir

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0