Projects for tag "Ada"

OpenGEODE

OpenGEODE is a tiny open-source SDL editor that is developed for the purpose of providing an easy to use and free state machine editor and Ada code generator to the...

read more
Updated on: 25/11/2016
Created on: 29/04/2015
Version Control System: git
Owner: ESA
Links:
  1. Homepage : OpenGEODE
  2. Source code : OpenGEODE Source code repository
Tags: TASTE ASN.1 SDL Python Ada Model Checking ANTLR