SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
85,081 visible repositories in the index
1–16 of 16 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada semantic analysis library.
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
POSIX Ada Bindings.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Ada Windows POSIX binding
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
Ada binding to OpenAL which tries to mimic original API while using Ada types.
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.
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