An Ada binding for Lua.

Ada42mit

11 months ago

A curated list of awesome resources related to the Ada and SPARK programming lan

615cc0-1.0

4 months ago

adaada-bindingada-framework

An Ada 2012 library for parsing JSON

Ada39apache-2.0

4 months ago

adajsonjson-ada

Ada bindings for the MQTT broker mosquitto.

Ada6epl-1.0

9 months ago

TOML parser for Ada

Ada31other

25 days ago

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS

Ada63gpl-3.0

26 days ago

adacortexgnat

Ada Database Objects

Ada25apache-2.0

last month

adadatabasemysql

Ada Embedded Network Stack

Ada22apache-2.0

26 days ago

armarpdhcp

Ada Utility Library - Composing streams, processes, logs, serialization, encoder

Ada69apache-2.0

26 days ago

adabeansjson

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

Ada120

24 days ago

adaada-languageada-library

Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I m

Ada1zlib

4 months ago

adagame-development

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

25 days ago

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada409

24 days ago

Ada bindings for the GTK+ graphical library.

Ada88other

28 days ago

Ada semantic analysis library.

Ada146other

24 days ago

Ada API to the Windows library

Ada17other

28 days ago

The XML/Ada toolkit.

Ada22other

28 days ago

Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

Ada binding to the SFML library

Ada33other

3 months ago

adaaudiobinding

An Ada 2012 compiler in Scala

Scala28apache-2.0

11 months ago

The Ada Conformity Assessment Test Suite, customised for GCC.

Ada10other

4 months ago

GID (Generic Image Decoder): a standalone, portable generic Ada package for deco

Ada23

2 months ago

adaada-languageada-library

LEA is a Lightweight Editor for Ada

Ada25

29 days ago

adaada-languageauto-complete

Excel Writer: a standalone, portable Ada package for producing Excel spreadsheet

Ada7

3 months ago

adaada-languageada-library

Ada33agpl-3.0

2 years ago

Simple audio synthesis library

Ada32

4 years ago

Emacs Lisp8gpl-3.0

2 years ago

Ada bindings to the Microsoft NetFramework Api

Ada5lgpl-3.0

5 years ago

adaada-netframeworkgcc

Ada bindings for the Microsoft Win32 Api

Ada3lgpl-3.0

4 years ago

adagccgnat

Ada bindings for the Microsft WinRT Api

Ada12lgpl-3.0

4 years ago

adaada-winrtgcc

cmake language support for ada, fork of PLplot's cross-platform support code: ht

CMake0other

6 years ago

Ada bindings for wiringPi

Ada0lgpl-3.0

6 years ago

adaraspberry-piraspberrypi

Apache Kafka Ada client library, based off of librdkafka

Ada14mit

2 years ago

VSCode extension for Ada.

TypeScript0

2 years ago

adavscodevscode-extension

Basic syntax highlighting for Ada and GPR

1

5 years ago

adaada-vscodevscode-extension

Ada language support for CMake.

12gpl-3.0

10 years ago

Ada 2012 library for WeeChat plug-ins

Ada3apache-2.0

2 years ago

adaweechatweechat-plugin

Ada bindings to NanoVG

Ada1

9 years ago

Pretty printing library for Ada

Ada4mit

4 years ago

adapretty-print

TextMate support for Ada

6

10 years ago

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

4 years ago

adaneovimvim

GitHub action to setup an Ada/SPARK dev environment

JavaScript20mit

3 years ago

Ada client library for ROS2/RCL

Ada7lgpl-3.0

2 years ago

XML EZ Out is a small set of packages intended to aid the creation of XML-format

Ada2other

4 years ago

A Button Mania game written in Ada

Ada4gpl-3.0

5 years ago

adagamegtkada

A component to aid in writing shell-like applications in Ada.

Ada13other

last year

[DEPRECATED] Generate Ada bindings to C++ code

Python15agpl-3.0

5 years ago

adabinding-generatorbindings

Ada binding for the Pebble Time smartwatch

Ada18

9 years ago

FreeType binding for Ada 2012

Ada1mit

4 years ago

adafreetypelanguage-bindings

Ada binding for OpenGL/WebGL

Ada9bsd-3-clause

4 years ago

The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game

Ada3

2 years ago

Ada OpenGL Framework

Ada4

9 years ago

Ada General Purpose Library -- Miscellaneous utilities

Ada4other

7 years ago

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (M

Ada66other

3 years ago

aadlada

Standard Ada library specification as defined in Reference Manual

Ada20

3 years ago

Grammar handling and parser generation Ada library

Ada4mit

4 years ago

adagrammarsparsing

Ada code analyzer

Ada0

4 years ago

ada

Incremental analysis in Ada

Ada4mit

4 years ago

adaincrementalparsing

Converts Ada sources’ ASIS representation to XML, so as to make it easier to de

Ada2gpl-2.0

6 years ago

Ada implementation of D’Hondt electoral result calculator

Ada4

5 years ago

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

Ada9gpl-2.0

2 years ago

Ada binding to Tcl/Tk, based on TASH

Ada8gpl-2.0

3 years ago

adatashtashy

Ada binding to Tcl/Tk, based on TASHY

Ada2

3 years ago

adatashytcl

Simple blockchain in Ada

Ada21mit

4 years ago

adablockchainblockchain-demo

Id Software's Id-tech-4-BFG in the Ada programming language.

Ada258

2 years ago

adagame-enginevulkan

BSD sockets in Ada

TeX13gpl-2.0

last year

NBAda - An Ada library of lock-free data structures and algorithms.

Ada11gpl-2.0

10 years ago

J2Ada translates a Java valid source code in Ada source code.

Ada3other

2 years ago

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

Ada5other

3 years ago

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

Ada60other

5 years ago

A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra

Ada1apache-2.0

2 years ago

adacanberraweechat

A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳

Ada2apache-2.0

2 years ago

adaemojiweechat

An Ada 2012 emulation of Charles Babbage’s Analytical Engine

Ada9other

3 years ago

adaemulatorgmp

GLOBE_3D: a real-time 3D Engine written in Ada

Ada16

last year

3d-engineadaada-language

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi

Ada152

2 years ago

adaformal-methodsformal-specification