SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
80,339 visible repositories in the index
1–22 of 22 · Most stars
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
Ada bindings for the GTK+ graphical library.
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Standard Ada library specification as defined in Reference Manual
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
A component to aid in writing shell-like applications in Ada.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Bingo application in GTKAda
- gtkada
- gnat
- ada
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter