SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
Ada Web Application - Framework to build high performance secure web applications
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
A component to aid in writing shell-like applications in Ada.
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
Bingo application in GTKAda
- gtkada
- gnat
- ada
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Ada wrapper for the fast Stachniss' Hungarian solver