Repository Index

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

• ada
• ada-language
• compiler
• virtual-machine

Ada semantic analysis library.

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012

Ada bindings for the GTK+ graphical library.

Thick Ada binding for OpenGL and GLFW

• glfw
• ada
• opengl-bindings
• ada-binding

Ada WASM Runtime and Bindings for Web API

• wasm
• gnat-llvm
• ada-runtime
• ada-wasm-runtime

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.

An Ada binding for Lua.

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Ada-bindings for 0mq

Ada binding for the Pebble Time smartwatch

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Advanced UNIX Terminal UI Ada Binding Package

• curses
• curses-library
• tui

GNAT Components Collection – Bindings to C libraries

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

Ada bindings for the Microsft WinRT Api

• winrt
• ada-winrt
• gnat
• ada

Ada binding for OpenGL/WebGL

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

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 bindings for the MQTT broker mosquitto.