Explore projects

An Efficient Implementation of the Set Inversion via Interval Analysis (SIVIA) Algorithm in Matlab

2009 Past haskell test

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

ISO: Permanent of non negative matrix.

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