Repository Index

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

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

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

Thick Ada binding for OpenGL and GLFW

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

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Ada-bindings for 0mq

Ada binding for the Pebble Time smartwatch

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

Ada bindings to the Microsoft NetFramework Api

• netframework
• ada-netframework
• gnat
• ada

Ada bindings for the Microsoft Win32 Api

• ada
• gnat
• gcc
• win32

Ada binding to OpenAL which tries to mimic original API while using Ada types.

Ada wrapper for the fast Stachniss' Hungarian solver

FreeType binding for Ada 2012

• language-bindings
• freetype
• ada