Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/Componolit/gneiss

Framework for platform-independent SPARK components
https://github.com/Componolit/gneiss

ada component-based embedded formal-methods formal-verification spark

Last synced: 14 days ago
JSON representation

Framework for platform-independent SPARK components

Host: GitHub
URL: https://github.com/Componolit/gneiss
Owner: Componolit
License: agpl-3.0
Archived: true
Created: 2019-02-26T09:01:00.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2020-08-28T16:42:02.000Z (about 4 years ago)
Last Synced: 2024-07-31T20:32:01.776Z (3 months ago)
Topics: ada, component-based, embedded, formal-methods, formal-verification, spark
Language: Ada
Homepage:
Size: 1.48 MB
Stars: 22
Watchers: 7
Forks: 2
Open Issues: 29

awesome-ada - gneiss - Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the [ada-runtime]. (Frameworks / Components)