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–24 of 62 · 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.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
An Ada-oriented GUI
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
The PragmAda Reusable Components
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Ada support for OpenAPI code generator
Ada Database Objects
Ada Embedded Network Stack
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
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
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear