Data Modelling Technologies
Meta-project including all git submodules necessary to make a taste installation
The TASTE Model Checker.
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
The PolyORB-HI middleware - Ada version
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
ANTLR3 Python Runtime