Peter's repositories
dynamorio-missing-instructions
Dynamic Instrumentation Tool Platform
Language:Python000
Language:Python000
FALSIFY
FALSIFY tool
Language:PythonNOASSERTION000
000
GGGGG
Simple tool for transforming 5G UML models to UPPAAL models.
Language:Python000
deliquo
Framework for automatic running of benchmarks and visualization of results
Language:OpenEdge ABL000
uppsat
An approximating SMT solver
GPL-3.0000
word_cloud
A little word cloud generator in Python
Language:PythonMIT000
micro-sat
The first SAT-solver for the Micro:bit
Language:Python000
check
Wall of checkboxes
Language:PHP000
Language:Python000
uppsatcloud
UppSAT in the cloud
Language:Jupyter Notebook000
AdventOfCode
AdventOfCode.com solutions
Language:Scala000
ml
Machine Learning
000
scalaSAT
DPLL in scala
Language:Scala000
inox
Solver interface for higher-order functional programs
Language:ScalaNOASSERTION000