OpenBot leverages smartphones as brains for low-cost robots. We have designed a small electric vehicle that costs about $50 and serves as a robot body. Our software stack for Android smartphones supports advanced robotics workloads such as person following and real-time autonomous navigation.

Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! 🌟🤖🌟💞

Jikes RVM (Research Virtual Machine)

Maxine VM: A meta-circular research VM

OMNeT++ Discrete Event Simulator

☕️🏗⛅️🎓 A modern, full-featured, easier-to-use, highly extensible, faster and more accurate Java 8+ Framework for Cloud Computing Simulation

Artemis is a free genome viewer and annotation tool that allows visualization of sequence features and the results of analyses within the context of the sequence, and its six-frame translation

Zotero on Android

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

Segrada - Semantic Graph Database

Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.

➰ Search-based Test Data Generation for Relational Database Schemas

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Intrusion Detection System (IDS) for Wireless Sensor Networks (WSN)

Graph-based incremental static analysis of ECMAScript 6 source code repositories

The Train Benchmark framework for evaluating incremental model validation performance

A Shape Analysis Tool based on Graph Grammars

Disease Pattern Miner is a free, open-source mining framework for interactively discovering sequential disease patterns in medical health record datasets.

Generating Realistic Synthetic Data

Find the shortest SLP by transforming it to SAT

Library for analyzing typed graphs.

Supplementary materials to the article presented at LCPC 2019: "Using Performance Event Profiles to Deduce an Execution Model of MATLAB with Just-In-Time Compilation" by Patryk Kiepas, Corinne Ancourt, Claude Tadonki, and Jarosław Koźlak.

Chocola as an extension of Clojure

"CITAL"- Finds citations of any PDF document.

Android application for capture of Video, IMU data and Camera data useful in SLAM and Structure from Motion research. Differs between Optical Image Stabilization (OIS) and Digital Video Stabilization (DVS) and can provide OIS data if the device supports it.

An Android app for mobile sensing research

Smart multithreaded crawler to search and download publicly available academic papers

This is an android app through which you can access most research papers related to covid-19. The app can be directly downloaded and installed from the apk folder.

MONDO Collaboration Framework (WP4)