Explore projects

JastAdd based compiler that given an XML schema generates a JastAdd frontend for the specific XML dialect.

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

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

A skill-based platform for ROS v.2

Mock up for dealing with ExtCtrl from ROS.

A set of ROS docker containers with support for GUIs running in the containers.

opcom with a remote control rest interface

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

A simple bash-scripts that send an “Event” to the CS Monitor Server

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

Meta-Datalog

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

Implementation of the Brainy paper in Java

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

Work for the "Parallel Programming of HPC Systems" course