dvvrd Goto Github PK

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

car-demo

clip

jacodb

fast and effective way to access and analyze java bytecode

lablqt

My thouths about which qt bindings for ocaml should be

load-balancing

Testint load balancing algoruthms

mirror

A tool that reproduces user actions by log

mmscene

openmw

OpenMW is an unofficial open source engine reimplementation of the game Morrowind.

phasar

A LLVM-based static analysis framework.

pop-regex-cs

Simple regular expression matching engine from the "Practice of Programming Book"

qreal

CASE and metaCASE system

qt-5.3.0-unexpected-touch-events

Minimal example reproducing bug with unexpected left button events sent with touch events in Qt 5.3.0

qt_bug_qfontcache_with_plugins

Demonstrates some strange effect when instantiating QWidget with non-default font from Qt plugin

resharper-devguide

Developer guide for the ReSharper Platform

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

spacer

spacer-benchmarks

testqmlwithqgraphicsscene

trikruntime

Runtime for TRIK controller

twitte-for-lada

utbotjava

Tool that generates unit test for Java, trying to reach all branches and maximize code coverage

vsharp

win8-touch-drag

Demonstrates touch drag problem on win8 under qt 5.1.1

z3

The Z3 Theorem Prover

z3-fixedpoint-test

Demonstrates some weird behaviour of Z3 FP solver