Explore projects

NNTI-condor-template

Code base from my PhD

The dbgen tool for TPC-H benchmarks. Slighty adapted to produce files suitable for mutable's DSV reader.

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.

A simple demo project to learn to handle AST class hierarchy using arithmetic expressions.