Ada-NetFramework

Ada bindings to the Microsoft NetFramework Api

Ada5lgpl-3.0

5 years ago

adaada-netframeworkgcc

Ada-Win32

Ada bindings for the Microsoft Win32 Api

Ada3lgpl-3.0

4 years ago

adagccgnat

Ada-WinRT

Ada bindings for the Microsft WinRT Api

Ada12lgpl-3.0

4 years ago

adaada-winrtgcc

cmake-ada

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

CMake0other

6 years ago

ada-runtime

Ada33agpl-3.0

2 years ago

coreland-lua-ada

Ada bindings to the Lua language

C6other

14 years ago

wiringPi-Ada

Ada bindings for wiringPi

Ada0lgpl-3.0

6 years ago

adaraspberry-piraspberrypi

Kafka-Ada

Apache Kafka Ada client library, based off of librdkafka

Ada14mit

2 years ago

ada-utilities

VSCode extension for Ada.

TypeScript0

2 years ago

adavscodevscode-extension

ada-vscode

Basic syntax highlighting for Ada and GPR

1

5 years ago

adaada-vscodevscode-extension

ada-lua

An Ada binding for Lua.

Ada42mit

11 months ago

cmake-ada

Ada language support for CMake.

12gpl-3.0

10 years ago

awesome-ada

awesome-ada

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

615cc0-1.0

4 months ago

adaada-bindingada-framework

json-ada

An Ada 2012 library for parsing JSON

Ada39apache-2.0

4 months ago

adajsonjson-ada

weechat-ada

Ada 2012 library for WeeChat plug-ins

Ada3apache-2.0

2 years ago

adaweechatweechat-plugin

mosquitto-ada

Ada bindings for the MQTT broker mosquitto.

Ada6epl-1.0

9 months ago

ada-toml

TOML parser for Ada

Ada31other

28 days ago

ada-nanovg

Ada bindings to NanoVG

Ada1

9 years ago

ada-synth-lib

Simple audio synthesis library

Ada32

4 years ago

ada-pretty

Pretty printing library for Ada

Ada4mit

4 years ago

adapretty-print

ob-ada-spark

Emacs Lisp8gpl-3.0

2 years ago

FreeRTOS-Ada

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

Ada63gpl-3.0

29 days ago

adacortexgnat

ada-ado

ada-ado

Ada Database Objects

Ada25apache-2.0

last month

adadatabasemysql

ada-enet

Ada Embedded Network Stack

Ada22apache-2.0

29 days ago

armarpdhcp

ada-util

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

Ada69apache-2.0

29 days ago

adabeansjson

ada.tmbundle

TextMate support for Ada

6

10 years ago

Ada-Bundle

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

4 years ago

adaneovimvim

hac

hac

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

Ada120

27 days ago

adaada-languageada-library

toolchain

GitHub action to setup an Ada/SPARK dev environment

JavaScript20mit

3 years ago

rclada

Ada client library for ROS2/RCL

Ada7lgpl-3.0

2 years ago

sdlada

sdlada

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

Ada1zlib

4 months ago

adagame-development

ada_language_server

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

28 days ago

gnatstudio

gnatstudio

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

Ada409

27 days ago

gtkada

Ada bindings for the GTK+ graphical library.

Ada88other

last month

libadalang

libadalang

Ada semantic analysis library.

Ada146other

27 days ago

win32ada

Ada API to the Windows library

Ada17other

last month

xmlada

The XML/Ada toolkit.

Ada22other

last month

xmlezout

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

Ada2other

4 years ago

buttons

buttons

A Button Mania game written in Ada

Ada4gpl-3.0

5 years ago

adagamegtkada

aShell

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

Ada13other

last year

AZ3

Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

Python15agpl-3.0

5 years ago

adabinding-generatorbindings

Ada_Time

Ada binding for the Pebble Time smartwatch

Ada18

9 years ago

FreeTypeAda

FreeType binding for Ada 2012

Ada1mit

4 years ago

adafreetypelanguage-bindings

adagl

Ada binding for OpenGL/WebGL

Ada9bsd-3-clause

4 years ago

Mine_Detector

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

Ada3

2 years ago

AdaOGL

Ada OpenGL Framework

Ada4

9 years ago

ASFML

Ada binding to the SFML library

Ada33other

3 months ago

adaaudiobinding

agpl

Ada General Purpose Library -- Miscellaneous utilities

Ada4other

7 years ago

ocarina

ocarina

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

Ada66other

3 years ago

aadlada

augusta

An Ada 2012 compiler in Scala

Scala28apache-2.0

12 months ago

adalib

Standard Ada library specification as defined in Reference Manual

Ada20

3 years ago

anagram

Grammar handling and parser generation Ada library

Ada4mit

4 years ago

adagrammarsparsing

gela

Ada code analyzer

Ada0

4 years ago

ada

increment

Incremental analysis in Ada

Ada4mit

4 years ago

adaincrementalparsing

ACATS

The Ada Conformity Assessment Test Suite, customised for GCC.

Ada10other

4 months ago

asis2xml

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

Ada2gpl-2.0

6 years ago

dhondt

Ada implementation of D’Hondt electoral result calculator

Ada4

5 years ago

tcladashell

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

Ada9gpl-2.0

2 years ago

tashy

Ada binding to Tcl/Tk, based on TASH

Ada8gpl-2.0

3 years ago

adatashtashy

tashy2

Ada binding to Tcl/Tk, based on TASHY

Ada2

3 years ago

adatashytcl

simple_blockchain

Simple blockchain in Ada

Ada21mit

4 years ago

adablockchainblockchain-demo

AdaDoom3

AdaDoom3

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

Ada258

2 years ago

adagame-enginevulkan

adasockets

BSD sockets in Ada

TeX13gpl-2.0

last year

NBAda

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

Ada11gpl-2.0

10 years ago

j2ada

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

Ada3other

2 years ago

tp7ada-gnoga

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

Ada5other

3 years ago

Byron

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

Ada60other

5 years ago

weechat-canberra

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

Ada1apache-2.0

2 years ago

adacanberraweechat

weechat-emoji

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

Ada2apache-2.0

2 years ago

adaemojiweechat

analytical-engine

An Ada 2012 emulation of Charles Babbage’s Analytical Engine

Ada9other

3 years ago

adaemulatorgmp

gid

gid

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

Ada23

2 months ago

adaada-languageada-library

globe-3d

globe-3d

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

Ada16

last year

3d-engineadaada-language

lea

lea

LEA is a Lightweight Editor for Ada

Ada25

last month

adaada-languageauto-complete

spark-by-example

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

Ada152

2 years ago

adaformal-methodsformal-specification

excel-writer

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

Ada7

3 months ago

adaada-languageada-library

Ada-NetFramework

Ada bindings to the Microsoft NetFramework Api

Ada5lgpl-3.0

5 years ago

adaada-netframeworkgcc

Ada-Win32

Ada bindings for the Microsoft Win32 Api

Ada3lgpl-3.0

4 years ago

adagccgnat

Ada-WinRT

Ada bindings for the Microsft WinRT Api

Ada12lgpl-3.0

4 years ago

adaada-winrtgcc

cmake-ada

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

CMake0other

6 years ago

ada-runtime

Ada33agpl-3.0

2 years ago

coreland-lua-ada

Ada bindings to the Lua language

C6other

14 years ago

wiringPi-Ada

Ada bindings for wiringPi

Ada0lgpl-3.0

6 years ago

adaraspberry-piraspberrypi

Kafka-Ada

Apache Kafka Ada client library, based off of librdkafka

Ada14mit

2 years ago

ada-lua

An Ada binding for Lua.

Ada42mit

11 months ago

cmake-ada

Ada language support for CMake.

12gpl-3.0

10 years ago

awesome-ada

awesome-ada

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

615cc0-1.0

4 months ago

adaada-bindingada-framework

json-ada

An Ada 2012 library for parsing JSON

Ada39apache-2.0

4 months ago

adajsonjson-ada

weechat-ada

Ada 2012 library for WeeChat plug-ins

Ada3apache-2.0

2 years ago

adaweechatweechat-plugin

mosquitto-ada

Ada bindings for the MQTT broker mosquitto.

Ada6epl-1.0

9 months ago

ada-toml

TOML parser for Ada

Ada31other

28 days ago

ada-nanovg

Ada bindings to NanoVG

Ada1

9 years ago

ada-synth-lib

Simple audio synthesis library

Ada32

4 years ago

ada-pretty

Pretty printing library for Ada

Ada4mit

4 years ago

adapretty-print

ob-ada-spark

Emacs Lisp8gpl-3.0

2 years ago

FreeRTOS-Ada

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

Ada63gpl-3.0

29 days ago

adacortexgnat

ada-ado

ada-ado

Ada Database Objects

Ada25apache-2.0

last month

adadatabasemysql

ada-enet

Ada Embedded Network Stack

Ada22apache-2.0

29 days ago

armarpdhcp

ada-util

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

Ada69apache-2.0

29 days ago

adabeansjson

ada.tmbundle

TextMate support for Ada

6

10 years ago

Ada-Bundle

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

4 years ago

adaneovimvim

hac

hac

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

Ada120

27 days ago

adaada-languageada-library

toolchain

GitHub action to setup an Ada/SPARK dev environment

JavaScript20mit

3 years ago

rclada

Ada client library for ROS2/RCL

Ada7lgpl-3.0

2 years ago

sdlada

sdlada

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

Ada1zlib

4 months ago

adagame-development

ada_language_server

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada235gpl-3.0

28 days ago

gnatstudio

gnatstudio

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

Ada409

27 days ago

gtkada

Ada bindings for the GTK+ graphical library.

Ada88other

last month

libadalang

libadalang

Ada semantic analysis library.

Ada146other

27 days ago

win32ada

Ada API to the Windows library

Ada17other

last month

xmlada

The XML/Ada toolkit.

Ada22other

last month

xmlezout

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

Ada2other

4 years ago

buttons

buttons

A Button Mania game written in Ada

Ada4gpl-3.0

5 years ago

adagamegtkada

aShell

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

Ada13other

last year

AZ3

Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

Python15agpl-3.0

5 years ago

adabinding-generatorbindings

Ada_Time

Ada binding for the Pebble Time smartwatch

Ada18

9 years ago

FreeTypeAda

FreeType binding for Ada 2012

Ada1mit

4 years ago

adafreetypelanguage-bindings

adagl

Ada binding for OpenGL/WebGL

Ada9bsd-3-clause

4 years ago

Mine_Detector

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

Ada3

2 years ago

AdaOGL

Ada OpenGL Framework

Ada4

9 years ago

ASFML

Ada binding to the SFML library

Ada33other

3 months ago

adaaudiobinding

agpl

Ada General Purpose Library -- Miscellaneous utilities

Ada4other

7 years ago

ocarina

ocarina

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

Ada66other

3 years ago

aadlada

augusta

An Ada 2012 compiler in Scala

Scala28apache-2.0

12 months ago

adalib

Standard Ada library specification as defined in Reference Manual

Ada20

3 years ago

anagram

Grammar handling and parser generation Ada library

Ada4mit

4 years ago

adagrammarsparsing

gela

Ada code analyzer

Ada0

4 years ago

ada

increment

Incremental analysis in Ada

Ada4mit

4 years ago

adaincrementalparsing

ACATS

The Ada Conformity Assessment Test Suite, customised for GCC.

Ada10other

4 months ago

asis2xml

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

Ada2gpl-2.0

6 years ago

dhondt

Ada implementation of D’Hondt electoral result calculator

Ada4

5 years ago

tcladashell

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

Ada9gpl-2.0

2 years ago

tashy

Ada binding to Tcl/Tk, based on TASH

Ada8gpl-2.0

3 years ago

adatashtashy

tashy2

Ada binding to Tcl/Tk, based on TASHY

Ada2

3 years ago

adatashytcl

simple_blockchain

Simple blockchain in Ada

Ada21mit

4 years ago

adablockchainblockchain-demo

AdaDoom3

AdaDoom3

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

Ada258

2 years ago

adagame-enginevulkan

adasockets

BSD sockets in Ada

TeX13gpl-2.0

last year

NBAda

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

Ada11gpl-2.0

10 years ago

j2ada

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

Ada3other

2 years ago

tp7ada-gnoga

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

Ada5other

3 years ago

Byron

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

Ada60other

5 years ago

weechat-canberra

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

Ada1apache-2.0

2 years ago

adacanberraweechat

weechat-emoji

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

Ada2apache-2.0

2 years ago

adaemojiweechat

analytical-engine

An Ada 2012 emulation of Charles Babbage’s Analytical Engine

Ada9other

3 years ago

adaemulatorgmp

gid

gid

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

Ada23

2 months ago

adaada-languageada-library

globe-3d

globe-3d

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

Ada16

last year

3d-engineadaada-language

lea

lea

LEA is a Lightweight Editor for Ada

Ada25

last month

adaada-languageauto-complete

spark-by-example

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

Ada152

2 years ago

adaformal-methodsformal-specification

excel-writer

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

Ada7

3 months ago

adaada-languageada-library