Pinned Repositories
acc_lab3
AdventOfCode
AdventOfCode.com solutions
check
Wall of checkboxes
CoverChess
deliquo
Framework for automatic running of benchmarks and visualization of results
dynamorio-missing-instructions
Dynamic Instrumentation Tool Platform
FALSIFY
FALSIFY tool
GGGGG
Simple tool for transforming 5G UML models to UPPAAL models.
inox
Solver interface for higher-order functional programs
uppsat
An approximating SMT solver
ptrbman's Repositories
ptrbman/dynamorio-missing-instructions
Dynamic Instrumentation Tool Platform
ptrbman/acc_lab3
ptrbman/AdventOfCode
AdventOfCode.com solutions
ptrbman/check
Wall of checkboxes
ptrbman/CoverChess
ptrbman/deliquo
Framework for automatic running of benchmarks and visualization of results
ptrbman/FALSIFY
FALSIFY tool
ptrbman/GGGGG
Simple tool for transforming 5G UML models to UPPAAL models.
ptrbman/inox
Solver interface for higher-order functional programs
ptrbman/micro-sat
The first SAT-solver for the Micro:bit
ptrbman/ml
Machine Learning
ptrbman/neuralnetworkabstraction
ptrbman/scalaSAT
DPLL in scala
ptrbman/strategytrees
ptrbman/uppsat
An approximating SMT solver
ptrbman/uppsatcloud
UppSAT in the cloud
ptrbman/word_cloud
A little word cloud generator in Python