Explore projects

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

Fork of blynn's nex project. github.com/blynn/nex

Dan Liew's personal KLEE-CL repo.

Simple test repo for the Linkload last_touch scripting task.

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

WACC examples featuring language extensions implemented in WACC_19

Recursive test repo for the Linkload last_touch scripting task.

Contains a documented example of how to use tensorflow to train a CNN for automatic scan plane detection

A Python-based Flask template to get you started!