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.