GitLab

A lightweight framework for Gaussian processes and Bayesian optimization of black-box functions (C++-11) http://www.resibots.eu/limbo

A pipeline for object recognition and pose estimation from CAD files with a DNN.

Work for the "Parallel Programming of HPC Systems" course

A faster Earley parser implementation

Java2Hardware / compiling java bytecode sequences to hardware - BSV code used to generate Verilog. Uses older BSV compiler. Transferred from a previous SVN repository.

Meta-Datalog

Implementation of the Brainy paper in Java

An example of how to use Tÿcho as a library.

Script for setting up Debian.

GUI and network examples in Java

CS realtime runtime library for Java.

Example files for the camera project in C

Installation instructions for installing a running KIF server instance