Giters
wolvre

wolvre

Geek Repo

11

followers

16

following

59

stars

Github PK Tool:Github PK Tool

wolvre's repositories

trinary-combining-tree

Exercise 135, The Art of Multiprocessor Programming

Language:JavaStargazers:8Issues:1Issues:0

maple

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

Language:C++License:Apache-2.0Stargazers:3Issues:1Issues:0

dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

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

probred

Probabilistic RED

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

smtcoq

Communication between Coq and SAT/SMT solvers

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0