Explore projects

WARA-SW software corpus and "offline" tool evaluation platform

Mock up for dealing with ExtCtrl from ROS.

Simple teleop for the Pioneer. Can use a gamepad or a mobile phone application.

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

Simple shell script (bash) that creates daily summaries of ssh logins and attempted break-ins.

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

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

Repository for the Object Detection assignment of the WASP Autonomous Systems I course 2020.

An activity recognition assignment for the WASP Autonomous System 1 course.

Meta-Datalog

Repository for the Object Detection assignment of the WASP Autonomous Systems I course 2020.

Installation instructions for installing a running KIF server instance