ptrbman

Uppsala UniversitetUppsala, Sweden

Pinned Repositories

acc_lab3
Language:Python00
AdventOfCode
AdventOfCode.com solutions
Language:Scala0 1 00
check
Wall of checkboxes
Language:PHP00
CoverChess
00
deliquo
Framework for automatic running of benchmarks and visualization of results
Language:OpenEdge ABL00
dynamorio-missing-instructions
Dynamic Instrumentation Tool Platform
Language:C1 0 00
FALSIFY
FALSIFY tool
Language:Python0 1 00
GGGGG
Simple tool for transforming 5G UML models to UPPAAL models.
Language:Python00
inox
Solver interface for higher-order functional programs
Language:Scala0 1 00
uppsat
An approximating SMT solver
Language:Scala8 6 34

ptrbman's Repositories

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