Data Modelling Technologies
Meta-project including all git submodules necessary to make a taste installation
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.
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
The GMV-created Hypervisor.
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
Python version of Buildsupport (under development, early prototype)
Demos showing how to work with sockets, using either a distributed system or using blackbox devices
The TASTE Orchestrator is the main script used to build TASTE applications
Place to put new installation script for the toolchain
The PolyORB-HI middleware - Ada version
Mirror of https://pypi.python.org/pypi/enum34