Explore projects

The Modal Interval Calculator (MIC) is a Matlab toolbox that allows performing efficient interval computations using Modal Intervals.

Simple Spring MVC Webapp example for use demonstrating CI/CD

Tinder replica to evaluate coder personality with respect to Imperial Department of Computing ({DOC})

Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner

This project is built to automically include the mean and covariance function of Gaussian Process(provided by GPFlow) in Gurobi, which enables users to use the optimization solvers in Gurobi to find the global optimization of Gaussian Process.

An executable formal semantics of PHP 5