dominique-unruh
Professor for quantum information systems at RWTH Aachen and for cryptography at University of Tartu.
RWTH Aachen, University of Tartu
Pinned Repositories
afp
Git clone of official afp repositories
bounded-operators
Isabelle theory about bounded operators
forward-hoare
Isabelle support for forward reasoning in Hoare logic
hksu-verification
Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh
infinite-set-sum-isabelle
Theory about infinite sums in Isabelle/HOL
java-patterns
Library for functional pattern matching in Java
mathquill-for-gmail
Browser extension for editing math in GMail using MathQuill
proof-editor
qrhl-tool
Proof assistant for qRHL
scala-isabelle
A Scala library for controlling/interacting with Isabelle
dominique-unruh's Repositories
dominique-unruh/proof-editor
dominique-unruh/infinite-set-sum-isabelle
Theory about infinite sums in Isabelle/HOL
dominique-unruh/android-heart
A beating heart Android app
dominique-unruh/autowifi
Fork of AutoWifi (http://www.manatlan.com/page/autowifi)
dominique-unruh/choo
:steam_locomotive::train: - sturdy 4kb frontend framework
dominique-unruh/easycrypt-tartu
Tartu's Easycrypt clone
dominique-unruh/fstar-probabilism
Probabilism effect for F*
dominique-unruh/hierarchical-proofs
dominique-unruh/isabelle-docker
Dockerfiles for the Isabelle theorem prover
dominique-unruh/IsaCrypt
dominique-unruh/LaTeXML-Plugin-sTeX
A LaTeXML Plugin for Semantic LaTeX (sTeX)
dominique-unruh/libisabelle
A Scala library which talks to Isabelle
dominique-unruh/mathlint
dominique-unruh/minimal-example
Creates a minimal example from sources that exhibit a problem
dominique-unruh/onthefly
dominique-unruh/quantum-sagemath
Quantum states in SageMath
dominique-unruh/repos
dominique-unruh/scala-steward
:robot: A robot that helps you keeping your Scala projects up-to-date
dominique-unruh/test
dominique-unruh/twisty
A text guessing game