Explore projects
-
TASTE / OpenGEODE
OtherUpdated -
-
TASTE / SpaceCreator
GNU Lesser General Public License v2.1 onlyUpdated -
-
Meta-project including all git submodules necessary to make a taste installation
Updated -
This is the place to track issues and feature requests related to TASTE
Updated -
Updated
-
-
-
TASTE / buildsupport
OtherBuildsupport - Tool to generate function skeletons and glue code.
Updated -
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
Updated -
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
Updated -
TASTE / PolyORB-HI-C
GNU General Public License v3.0 w/GCC Runtime Library exceptionThe PolyORB-HI Middleware - C Version
Updated -
-
TASTE / Ocarina
GNU General Public License v3.0 w/GCC Runtime Library exceptionUpdated -
-
-
TASTE / uPython-mirror
MIT LicenseThis is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
Updated -
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
Updated -
TASTE / PolyORB-HI-Ada
GNU General Public License v3.0 w/GCC Runtime Library exceptionThe PolyORB-HI middleware - Ada version
Updated