Explore projects

Configuration and docs for raw/icob/sleipner.

Meta-Datalog

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

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

A clone of the ExtendJ project (https://bitbucket.org/extendj/extendj/src/master/) with changes required by MetaDL.

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

Work for the "Parallel Programming of HPC Systems" course

An implementation of a Cartesian impedance controller.