Artemis - Interactive Learning with Automated Feedback

State-of-the-art Framework 🏗 for Cloud Computing ⛅️ Simulation: a modern, full-featured, easier-to-use, highly extensible 🧩, faster 🚀 and more accurate ☕️ Java 17+ tool for cloud computing research 🎓. Examples: https://github.com/cloudsimplus/cloudsimplus-examples

Jikes RVM (Research Virtual Machine)

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

Maxine VM: A meta-circular research VM

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

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.

A open-source model to compute noise maps.

Zotero on Android

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

Segrada - Semantic Graph Database

SOMns: A Newspeak for Concurrency Research

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

Artifact accompanying our OOPSLA'15 publication.

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

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

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

A cloud simulation library based on cloudsim, it aims to provide all known cloud scheduling algorithms with the help from community developers, as well as automate various simulation scenarios.

Terracotta (a portmanteau of Tool for Education Research with RAndomized COnTrolled TriAls) is a plug-in to the learning management system that allows the contents of online assignments to be differentiated for experimental treatment variations, and to be assigned randomly to different groups of students. Terracotta also enables privacy protecti…