ICIS Open Source

Iris is a framework for program verification of programs in, e.g., Rust, C, Scala using concepts such as concurrency and advanced type systems. winner of the Alonzo Church Award.

A fast analytical and portable database system, widely adopted in industry.

A privacy-friendly attributed-based decentralised identity wallet that formed the precursor for the current Wallet-IDs that are introduced at a European level.

Tools and data for an Open Web Index for Europe

The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project provides a model-driven and computer-aided approach and toolkit for the development of supervisory controllers.

Ecosystem for the Analysis of Discrete Markov Models such as Markov Decision Processes. Delivers state-of-the-art Probabilistic Model Checking.

PostGuard offers end-to-end encryption (E2EE) to increase the security of email and file sharing, based on easy-to-use Identity-Based Encryption (IBE).

REL is a modular Entity Linking package that is provided as a Python package as well as a web API.

The digital living room for your community - An open and transparent online platform for secure connection, reliable communication, and building communities

TorXakis, an experimental model-based testing tool, based on the ioco-testing theory for labelled transition systems.

Clean is a general-purpose, pure and lazy functional programming language, similar to Haskel. It distinguishes itself through performance and compilation times.

A Python library to automate Tor Browser. Used, e.g., for testing the Freedom of the Press Foundation’s SecureDrop whistleblower platform.

SaC is a functional array programming language that supports specifications very close to notations used in mathematics and natural sciences.

A cryptographic library for polymorphic encryption and pseudonymization (i.e. the PEP framework), based on the ElGamal encryption scheme.

The iTask framework enables you to write multi-user web applications using a task-oriented style of programming.

PAAS stands for PEP Authorisation API Service, and implements the PaaS (Pseudonymization as a Service) architecture.

A software package designed for processing real-life wrist sensor data to extract digital measures of motor and non-motor signs of Parkinson’s disease.

An experimental search engine for running information retrieval experiments, based on DuckDB.

An analysis tool for constrained higher-order term rewriting.

The mTask system (mTasks) is a framework for programming complete Internet of Things (IoT) systems from a single source.

GeeseDB is a Python toolkit for solving information retrieval research problems that leverage graphs as data structures.

Artistoo is a JavaScript library for building Cellular Potts Model (CPM) simulations.

CelltrackR is designed to help with describing, visualising, and quantifying tracks of moving objects.

A collection of algorithms, a GUI frontend and an R package for analyzing graphical causal models (DAGs).

A Python library for causal models and graphical models.