Explore projects

Data Modelling Technologies

Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.

The TASTE Model Checker.

Meta-project including all git submodules necessary to make a taste installation

This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.

The PolyORB-HI middleware - Ada version

Place to put new installation script for the toolchain

Updated scaffolding to support old (EDISOFT, GAISLER4.x) and new (OAR mainline, GAISLER5.x) RTEMS projects.

An example program, demonstrating how to automatically patch a binary, in order to access "hidden" static data inside a function - that you are not allowed to modify due to legacy reasons.

Demos showing how to work with sockets, using either a distributed system or using blackbox devices

Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.

A small test repo to see if Docker containers spawned by gitlab-runner see the properly checked out submodules or not

Example repo demonstrating automatic spell checking.

Intelligent diff-ing of SPARC binaries for mission patching.

ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor

ANTLR3 Python Runtime