Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
php formal seman... static analysis+ 1 more -
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.