Explore projects
-
-
Updated
-
Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.
Updated -
-
Meta-project including all git submodules necessary to make a taste installation
Updated -
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
Updated -
The PolyORB-HI middleware - Ada version
Updated -
Updated
-
-
Updated scaffolding to support old (EDISOFT, GAISLER4.x) and new (OAR mainline, GAISLER5.x) RTEMS projects.
Updated -
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.
Updated -
Demos showing how to work with sockets, using either a distributed system or using blackbox devices
Updated -
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
Updated -
A small test repo to see if Docker containers spawned by gitlab-runner see the properly checked out submodules or not
Updated -
Example repo demonstrating automatic spell checking.
Updated -
Intelligent diff-ing of SPARC binaries for mission patching.
Updated -
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
Updated -