wolvre

Pinned Repositories

setta2018
Language:TeX1 3 00
dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
Language:C++0 1 00
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++3 1 01
probred
Probabilistic RED
Language:C0 1 00
smtcoq
Communication between Coq and SAT/SMT solvers
Language:Coq0 1 00
trinary-combining-tree
Exercise 135, The Art of Multiprocessor Programming
Language:Java8 1 01
AccurateFairnessCriterion
Code for Accurate Fairness: Improving Individual Fairness without Trading Accuracy
Language:Python60
ReAD
Language:Python4 3 00

wolvre's Repositories

wolvre/trinary-combining-tree
Exercise 135, The Art of Multiprocessor Programming
Language:Java8 1 01
wolvre/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++3 1 01
wolvre/dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
Language:C++0 1 00
wolvre/probred
Probabilistic RED
Language:C0 1 00
wolvre/smtcoq
Communication between Coq and SAT/SMT solvers
Language:Coq0 1 00