Explore projects

Implementation of the tunable neural network on the Qiskit quantum simulator

Repository containing the implementations and data of the PhD thesis of Davide Cavezza

Drift-diffusion is a Matlab based model modified to account for the presence of CT states in organic solar cells. It can simulate solutions at different temperatures and light intensities.

An executable formal semantics of PHP 5

An Attempt at a one line prime number generator in Haskell

MetamorphicCL, a compiler testing tool for OpenCL

Dan Liew's personal KLEE-CL repo.

Userscripts to help ease the pain of CaTE

Puppet module deploying an XNAT installation

Tristan's "Do Not Shoot The Snowman" game, done in Perl/Tk (graphicalsnowman) and ANSI colour codes and Unicode..

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.