SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
55,640 visible repositories in the index
1–5 of 5 · Most stars
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
A secure and high performances microkernel for building secure MCU-based IoTs
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla