SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
60,121 visible repositories in the index
1–7 of 7 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
J2Ada translates a Java valid source code in Ada source code.
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
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.