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