Explore projects

Our wacc examples edited in line with extensions

BEng Individual Project Software Archive

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

Web application that uses machine learning to help children achieve proficiency in basic numeracy

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.

sfg

An executable formal semantics of PHP 5

Simple Python command-line program to download all accessible assignments and associated files from Imperial CATE (Continuous Assessment Tracking Engine)

Only to test git settings

In our recent Rails training day, we started building a twitter-like microblogging platform called "Chorus", with users signing up (no passwords), signing in, signing out, with signed in users able to add short "Chirps". I did some more work...

Dan Liew's personal KLEE-CL repo.

fork(for bugfixes) of kerberos auth w/o domain