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–15 of 15 · Most stars
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Ada API to the Windows library
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada EL - Expression Language Library (JSR245)
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
Ada 2012 bindings for libcanberra
- libcanberra
- ada
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
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.
FreeType binding for Ada 2012
- language-bindings
- freetype
- ada
Ada Posix Binding to Video 4 Linux, used for RPI