Explore projects
-
Implementation of the tunable neural network on the Qiskit quantum simulator
Updated -
Updated
-
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
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.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
An executable formal semantics of PHP 5
Updated -
-
-
-
Updated
-
Updated
-
-
Updated
-
-
Tristan's "Do Not Shoot The Snowman" game, done in Perl/Tk (graphicalsnowman) and ANSI colour codes and Unicode..
Updated -
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.
Updated