SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
72,862 visible repositories in the index
1–12 of 12 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada 2012 bindings for the Opus audio codec.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
Ada Posix Binding to Video 4 Linux, used for RPI