Generic Ada Library for Algorithms and Containers

Ada27other

last year

WHATWG-compliant and fast URL parser written in modern C++

C++1071apache-2.0

last month

cppneonparser

Prototype implementation of LSP client - Visual Studio 2017

C#1lgpl-3.0

5 years ago

ada

Ada bindings to the Microsoft NetFramework Api

Ada5lgpl-3.0

4 years ago

adaada-netframeworkgcc

Ada bindings for the Microsoft Win32 Api

Ada4lgpl-3.0

4 years ago

adagccgnat

Ada bindings for the Microsft WinRT Api

Ada11lgpl-3.0

4 years ago

adaada-winrtgcc

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

Ada6

7 years ago

This project is obsolete is no longer developed, maintained or serviced!

Ada84other

6 years ago

A set of Ada components to allow 3D simulations, games and GUI's in Ada.

Ada7isc

6 months ago

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

CMake0other

6 years ago

Ada33agpl-3.0

2 years ago

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

Ada3isc

8 years ago

Library and tool for transparently handling data and configuration file access i

Ada5

12 years ago

Genetic Algorithm Implementation for Ada

Ada2other

9 months ago

adaalgorithmchromosome

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the ele

Ada15

9 months ago

adaalsaarm

Ada bindings to the Lua language

C5other

13 years ago

Ada bindings to OpenAL

Ada3isc

last year

Ada bindings for wiringPi

Ada0lgpl-3.0

6 years ago

adaraspberry-piraspberrypi

libsodium for Ada - A secure cryptographic library

Ada8isc

8 years ago

Apache Kafka Ada client library, based off of librdkafka

Ada14mit

2 years ago

VSCode extension for Ada.

TypeScript0

last year

adavscodevscode-extension

Basic syntax highlighting for Ada and GPR

1

5 years ago

adaada-vscodevscode-extension

xxhash in ada

Ada1mit

2 years ago

Minimal binding to libdl

Ada1lgpl-3.0

3 years ago

Ada bindings for the player robotic platform

Ada4other

10 years ago

An Ada binding for Lua.

Ada37gpl-3.0

3 years ago

Ada language support for CMake.

12gpl-3.0

9 years ago

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

563cc0-1.0

28 days ago

adaada-bindingada-framework

Ada 2012 bindings for libcanberra

Ada4apache-2.0

2 years ago

adalibcanberra

An Ada 2012 library for document container files

Ada6mit

2 years ago

adaarchivingdcf

An Ada 2012 library for monitoring filesystem events using Linux' inotify API

Ada8apache-2.0

2 years ago

adafilemonitorfilesystem

An Ada 2012 library for parsing JSON

Ada36apache-2.0

2 years ago

adajsonjson-ada

Ada 2012 bindings for the Opus audio codec.

Ada2apache-2.0

2 years ago

Ada 2012 library for WeeChat plug-ins

Ada3apache-2.0

2 years ago

adaweechatweechat-plugin

Ada bindings for the MQTT broker mosquitto.

Ada5epl-1.0

8 months ago

C++13other

2 years ago

TOML parser for Ada

Ada25other

last year

Ada bindings to NanoVG

Ada1

8 years ago

Ada bindings for libsoundio

Ada6

8 years ago

Simple audio synthesis library

Ada31

4 years ago

Language Server Protocol for Ada

Ada11mit

6 years ago

Pretty printing library for Ada

Ada3mit

3 years ago

adapretty-print

Emacs Lisp8gpl-3.0

last year

Ada Database Objects

Ada22apache-2.0

7 months ago

adadatabasemysql

Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344

Ada11apache-2.0

7 months ago

adaasffacelet

Ada Web Application - Framework to build high performance secure web application

Ada91apache-2.0

7 months ago

adadatabasehttps-server

Ada EL - Expression Language Library (JSR245)

Ada6apache-2.0

7 months ago

Ada Keystore - protect your sensitive data with secure storage

Ada30apache-2.0

7 months ago

keystoresecure-storagesecurity-tools

Ada Binding for the libsecret library

Ada1apache-2.0

5 years ago

bindingkeyringkwallet

Ada binding for liblzma compression library

Ada5mit

7 months ago

adacompressionlzma

Ada Security - OAuth 2.0 client and server framework to secure web applications

Ada20apache-2.0

7 months ago

adaauthenticationjwt

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

Ada62apache-2.0

7 months ago

adabeansjson

Ada support for OpenAPI code generator

Ada22apache-2.0

7 months ago

adaapiclient

TextMate support for Ada

6

9 years ago

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

3 years ago

adaneovimvim

Boehm GC interface library for gcc-Ada (GNAT)

Ada5

2 years ago

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

Ada12

last year

adaada-languageada-library

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

Ada92

7 months ago

adaada-languagecompiler

Pascal to Ada translator

Ada11

11 months ago

adaada-languagepascal

Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byt

Ada18

9 months ago

adaada-languageada-library

"Ada for Automation" (A4A in short) is a framework for designing industrial auto

Ada2other

2 years ago

experimental YAML 1.3 implementation in Ada

Ada34mit

2 years ago

adaconfigurationyaml

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read bi

Ada7gpl-2.0

8 months ago

Ada Servlet - Web Servlet Library following JSR 154, JSR 315

Ada6apache-2.0

7 months ago

adaservletservlet-filter

Ada PDF Writer: a standalone, portable package for producing dynamically PDF doc

Ada13

9 months ago

adaada-languageada-library

GitHub action to setup an Ada/SPARK dev environment

JavaScript19mit

2 years ago

Ada client library for ROS2/RCL

Ada7lgpl-3.0

2 years ago

Implementation of Midi / MidiFile reading and writing

Ada5

8 months ago

adalibrarymidi

Small Library for Sodoku grid solving / finding

Ada5other

9 months ago

adaada-sodokubignumber

Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes

Ada18apache-2.0

7 months ago

adadotclearhtml

Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)

Ada27gpl-3.0

4 years ago

Software controller for solenoid engines (Ada/STM32F4)

Ada4

8 years ago

Ada source code and complete sample GNAT projects for selected bare-board platfo

Ada219bsd-3-clause

6 months ago

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada205gpl-3.0

5 months ago

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

Ada356

5 months ago

Ada bindings for the GTK+ graphical library.

Ada80other

5 months ago

Ada semantic analysis library.

Ada134other

5 months ago

Robotics with Ada, ARM, and Lego

Ada15gpl-3.0

4 years ago

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada58gpl-3.0

last year

Ada API to the Windows library

Ada15

last year

Ada Windows POSIX binding

Ada4other

8 months ago

The XML/Ada toolkit.

Ada20other

5 months ago

Operating System development experiment in Ada

Ada34

3 years ago

adakernellow-level-programming

Easy to use logging facilities for output to console in Ada programs

Ada2lgpl-3.0

5 months ago

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

Ada2other

3 years ago

A Button Mania game written in Ada

Ada4gpl-3.0

5 years ago

adagamegtkada

Advanced UNIX Terminal UI Ada Binding Package

Ada11

4 years ago

cursescurses-librarytui

An Ada Library for UUID generation.

Ada15bsd-2-clause

2 years ago

uuid

ada privilege escalation

Ada4gpl-3.0

8 months ago

adasecurityspark

Ada finite-state machine generator.

Ada4

6 months ago

Ada Unicode Extended Strings

Ada8

7 months ago

A fuzzy inference system library for Ada

Ada3

8 years ago

Behavior Driven Development in Ada

Ada5

3 years ago

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

Ada12other

7 months ago

base58 encoding and decoding in ada

Ada4

7 years ago

Ada binding to the Z3 Theorem Prover

Ada6mit

2 years ago

[DEPRECATED] Generate Ada bindings to C++ code

Python14agpl-3.0

4 years ago

adabinding-generatorbindings

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Ada31bsd-3-clause

6 months ago

adaasconcshake

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86

Ada75gpl-3.0

3 years ago

adaosspark

A G-code parser and CNC controller (in Ada)

Ada61gpl-3.0

5 years ago

Ada binding for the Pebble Time smartwatch

Ada17

8 years ago

Fully functional Hungarian Algorithm implementation in Ada

1gpl-3.0

6 months ago

adahungarian-algorithmkuhn

FreeType binding for Ada 2012

Ada1mit

3 years ago

adafreetypelanguage-bindings

tools for writing lexers / parsers in Ada

Ada6mit

6 years ago

adalexerreference-counting

Ada Posix Binding to Video 4 Linux, used for RPI

Ada0

9 years ago

A library of access routines to Axon's ABF file format (electrophysiology, most

Ada0gpl-3.0

5 years ago

Ada binding for OpenGL/WebGL

Ada8bsd-3-clause

3 years ago

Ada WASM Runtime and Bindings for Web API

Ada42bsd-3-clause

last year

adaada-runtimeada-wasm-runtime

Web UI on Ada

Ada1bsd-3-clause

2 years ago

adawasmwebgl

An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6

Ada0isc

8 years ago

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

Ada3isc

last year

An Ada 2012 project that implements reference counting approaches to resource ma

Ada8isc

last year

This is an Ada 2012 package that provides an interface to BLAS.

Ada4isc

2 years ago

An Ada 2012 package to parse command line arguments and options

Ada10isc

2 years ago

This is an Ada 2012 package that provides a task pool system for jobs which each

Ada1isc

9 years ago

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti

Ada8isc

6 years ago

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function

Ada5other

6 years ago

An Ada-oriented GUI

Ada33bsd-3-clause

5 months ago

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

Ada2

2 years ago

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

Ada30isc

2 years ago

Collection of basic math routines in Ada

Ada24other

last year

Ada OpenGL Framework

Ada3

8 years ago

Ada Bare Bones OS development tutorial source code

Ada79other

7 years ago

adabare-bonesbare-bones-tutorial

Ada 2012 bindings to SDL 2

Ada100zlib

9 months ago

adaada2012bindings

Ada binding to the SFML library

Ada25other

5 months ago

adaaudiobinding

base58 encoding and decoding in ada

Ada4

7 years ago

base58 encoding and decoding in ada

Ada4

7 years ago

Ada General Purpose Library -- Miscellaneous utilities

Ada4other

6 years ago

Generator of JUnit-compatible XML reports in Ada

Ada1lgpl-3.0

2 years ago

Open Source Licenses library for Ada

Ada0mit

6 years ago

An Ada 2012 implementation of the Rx methodology

Ada14lgpl-3.0

2 years ago

reactive-programmingreactivexrx

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

Ada57other

2 years ago

aadlada

An Ada 2012 compiler in Scala

Scala26apache-2.0

11 months ago

Standard Ada library specification as defined in Reference Manual

Ada16

3 years ago

Grammar handling and parser generation Ada library

Ada3mit

3 years ago

adagrammarsparsing

Ada code analyzer

Ada0

3 years ago

ada

Incremental analysis in Ada

Ada4mit

3 years ago

adaincrementalparsing

The Google Protocol Buffers implementation in Ada

Ada23mit

last year

adacompilerprotobuf

Ada-tailored UML Modeling Language

9gpl-3.0

11 months ago

Ada library and tools for the analysis of Complex Networks and more

Ada11lgpl-2.1

5 months ago

The Ada Conformity Assessment Test Suite, customised for GCC.

Ada9other

7 months ago

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

Ada2gpl-2.0

5 years ago

Ada implementation of D’Hondt electoral result calculator

Ada4

4 years ago

The Embedded Web Server is designed for use in embedded systems with limited res

Ada11gpl-3.0

2 years ago

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

Ada7gpl-2.0

last year

An Ada implementation of XPath 1.0.

Ada3other

3 years ago

Ada binding to Tcl/Tk, based on TASH

Ada7gpl-2.0

2 years ago

adatashtashy

Ada binding to Tcl/Tk, based on TASHY

Ada2

2 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.

Ada247

last year

adagame-enginevulkan

An Ada binding for the OpenCL host API

Ada15isc

10 years ago

adaada-bindingcl-gl

Thick Ada binding for OpenGL and GLFW

Ada88mit

2 years ago

adaada-bindingglfw

Ada-language framework

Ada27other

5 months ago

adaada-languagearm

The OpenGL 4.6 Rendering Kernel in Ada 2012

Ada53apache-2.0

last year

3d-graphicsadaazdo

BSD sockets in Ada

TeX13gpl-2.0

9 months ago

Embeddable Forth interpreter written in Ada

Ada19other

9 years ago

adaforthinterpreter

Ada interface to the readline library

Ada6other

9 years ago

AWS is a complete framework to develop Web based applications in Ada.

Ada116other

5 months ago

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

Ada10gpl-2.0

9 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

2 years ago

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

Ada3other

3 years ago

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

Ada11mit

5 years ago

decawavedw1000ranging-sensor

SPARK/Ada drivers for the DecaWave EVB1000 evaluation board

C0mit

7 years ago

Simulated railway network in SPARK/Ada

Ada6gpl-3.0

7 years ago

Cross platform sound-playing utility for Ada apps with its own binding to OpenAL

C0gpl-3.0

6 months ago

adalinuxmusic-loops

The BLAKE2s hash function for SPARK83 [Ada (1987)]

Ada1mit-0

3 years ago

adaada1987blake2

Ada wrapper for the fast Stachniss' Hungarian solver

Ada2other

6 years ago

Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:

Ada11mit

3 years ago

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

Ada55other

4 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

2 years ago

adaemulatorgmp

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Corte

Ada58gpl-3.0

last year

adacortexgnat

Dynamo Ada Application Code Generator

Ada16apache-2.0

6 months ago

adacode-generationweb-application

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

Ada13

6 months ago

adaada-languageada-library

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

Ada15

5 months ago

3d-engineadaada-language

LEA is a Lightweight Editor for Ada

Ada19

5 months ago

adaada-languageeditor

AdaChess is a smart chess engine written from scratch in the Ada programming lan

Ada1gpl-3.0

6 months ago

A pure Ada implementation of the SipHash PRF (mirror repository).

Ada1bsd-3-clause

10 years ago

ColdFrame generates Ada framework code and documentation from UML models.

Ada7gpl-2.0

7 months ago

adaargouml

Ini file manager: a standalone, portable Ada package for configuration files

Ada5

3 years ago

adaada-languageada-library

Mathpaqs: a collection of mathematical packages in pure Ada

Ada10

6 months ago

adaada-languageada-library

emBRICK driver and support for emBRICK in Ada

Ada0bsd-3-clause

8 years ago

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

Ada145

2 years ago

adaformal-methodsformal-specification

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

Ada6

9 months ago

adaada-languageada-library

Generic Ada Library for Algorithms and Containers

Ada27other

last year

WHATWG-compliant and fast URL parser written in modern C++

C++1071apache-2.0

last month

cppneonparser

Prototype implementation of LSP client - Visual Studio 2017

C#1lgpl-3.0

5 years ago

ada

Ada bindings to the Microsoft NetFramework Api

Ada5lgpl-3.0

4 years ago

adaada-netframeworkgcc

Ada bindings for the Microsoft Win32 Api

Ada4lgpl-3.0

4 years ago

adagccgnat

Ada bindings for the Microsft WinRT Api

Ada11lgpl-3.0

4 years ago

adaada-winrtgcc

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

Ada6

7 years ago

This project is obsolete is no longer developed, maintained or serviced!

Ada84other

6 years ago

A set of Ada components to allow 3D simulations, games and GUI's in Ada.

Ada7isc

6 months ago

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

CMake0other

6 years ago

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

Ada3isc

8 years ago

Library and tool for transparently handling data and configuration file access i

Ada5

12 years ago

Genetic Algorithm Implementation for Ada

Ada2other

9 months ago

adaalgorithmchromosome

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the ele

Ada15

9 months ago

adaalsaarm

Ada bindings to the Lua language

C5other

13 years ago

Ada bindings to OpenAL

Ada3isc

last year

Ada bindings for wiringPi

Ada0lgpl-3.0

6 years ago

adaraspberry-piraspberrypi

libsodium for Ada - A secure cryptographic library

Ada8isc

8 years ago

Apache Kafka Ada client library, based off of librdkafka

Ada14mit

2 years ago

VSCode extension for Ada.

TypeScript0

last year

adavscodevscode-extension

Basic syntax highlighting for Ada and GPR

1

5 years ago

adaada-vscodevscode-extension

xxhash in ada

Ada1mit

2 years ago

Minimal binding to libdl

Ada1lgpl-3.0

3 years ago

Ada bindings for the player robotic platform

Ada4other

10 years ago

An Ada binding for Lua.

Ada37gpl-3.0

3 years ago

Ada language support for CMake.

12gpl-3.0

9 years ago

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

563cc0-1.0

28 days ago

adaada-bindingada-framework

Ada 2012 bindings for libcanberra

Ada4apache-2.0

2 years ago

adalibcanberra

An Ada 2012 library for document container files

Ada6mit

2 years ago

adaarchivingdcf

An Ada 2012 library for monitoring filesystem events using Linux' inotify API

Ada8apache-2.0

2 years ago

adafilemonitorfilesystem

An Ada 2012 library for parsing JSON

Ada36apache-2.0

2 years ago

adajsonjson-ada

Ada 2012 bindings for the Opus audio codec.

Ada2apache-2.0

2 years ago

Ada 2012 library for WeeChat plug-ins

Ada3apache-2.0

2 years ago

adaweechatweechat-plugin

Ada bindings for the MQTT broker mosquitto.

Ada5epl-1.0

8 months ago

C++13other

2 years ago

TOML parser for Ada

Ada25other

last year

Ada bindings to NanoVG

Ada1

8 years ago

Ada bindings for libsoundio

Ada6

8 years ago

Simple audio synthesis library

Ada31

4 years ago

Language Server Protocol for Ada

Ada11mit

6 years ago

Pretty printing library for Ada

Ada3mit

3 years ago

adapretty-print

Emacs Lisp8gpl-3.0

last year

Ada Database Objects

Ada22apache-2.0

7 months ago

adadatabasemysql

Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344

Ada11apache-2.0

7 months ago

adaasffacelet

Ada Web Application - Framework to build high performance secure web application

Ada91apache-2.0

7 months ago

adadatabasehttps-server

Ada EL - Expression Language Library (JSR245)

Ada6apache-2.0

7 months ago

Ada Keystore - protect your sensitive data with secure storage

Ada30apache-2.0

7 months ago

keystoresecure-storagesecurity-tools

Ada Binding for the libsecret library

Ada1apache-2.0

5 years ago

bindingkeyringkwallet

Ada binding for liblzma compression library

Ada5mit

7 months ago

adacompressionlzma

Ada Security - OAuth 2.0 client and server framework to secure web applications

Ada20apache-2.0

7 months ago

adaauthenticationjwt

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

Ada62apache-2.0

7 months ago

adabeansjson

Ada support for OpenAPI code generator

Ada22apache-2.0

7 months ago

adaapiclient

TextMate support for Ada

6

9 years ago

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

3 years ago

adaneovimvim

Boehm GC interface library for gcc-Ada (GNAT)

Ada5

2 years ago

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

Ada12

last year

adaada-languageada-library

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

Ada92

7 months ago

adaada-languagecompiler

Pascal to Ada translator

Ada11

11 months ago

adaada-languagepascal

Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byt

Ada18

9 months ago

adaada-languageada-library

"Ada for Automation" (A4A in short) is a framework for designing industrial auto

Ada2other

2 years ago

experimental YAML 1.3 implementation in Ada

Ada34mit

2 years ago

adaconfigurationyaml

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read bi

Ada7gpl-2.0

8 months ago

Ada Servlet - Web Servlet Library following JSR 154, JSR 315

Ada6apache-2.0

7 months ago

adaservletservlet-filter

Ada PDF Writer: a standalone, portable package for producing dynamically PDF doc

Ada13

9 months ago

adaada-languageada-library

GitHub action to setup an Ada/SPARK dev environment

JavaScript19mit

2 years ago

Ada client library for ROS2/RCL

Ada7lgpl-3.0

2 years ago

Implementation of Midi / MidiFile reading and writing

Ada5

8 months ago

adalibrarymidi

Small Library for Sodoku grid solving / finding

Ada5other

9 months ago

adaada-sodokubignumber

Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes

Ada18apache-2.0

7 months ago

adadotclearhtml

Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)

Ada27gpl-3.0

4 years ago

Software controller for solenoid engines (Ada/STM32F4)

Ada4

8 years ago

Ada source code and complete sample GNAT projects for selected bare-board platfo

Ada219bsd-3-clause

6 months ago

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada205gpl-3.0

5 months ago

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

Ada356

5 months ago

Ada bindings for the GTK+ graphical library.

Ada80other

5 months ago

Ada semantic analysis library.

Ada134other

5 months ago

Robotics with Ada, ARM, and Lego

Ada15gpl-3.0

4 years ago

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada58gpl-3.0

last year

Ada API to the Windows library

Ada15

last year

Ada Windows POSIX binding

Ada4other

8 months ago

The XML/Ada toolkit.

Ada20other

5 months ago

Operating System development experiment in Ada

Ada34

3 years ago

adakernellow-level-programming

Easy to use logging facilities for output to console in Ada programs

Ada2lgpl-3.0

5 months ago

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

Ada2other

3 years ago

A Button Mania game written in Ada

Ada4gpl-3.0

5 years ago

adagamegtkada

Advanced UNIX Terminal UI Ada Binding Package

Ada11

4 years ago

cursescurses-librarytui

An Ada Library for UUID generation.

Ada15bsd-2-clause

2 years ago

uuid

ada privilege escalation

Ada4gpl-3.0

8 months ago

adasecurityspark

Ada finite-state machine generator.

Ada4

6 months ago

Ada Unicode Extended Strings

Ada8

7 months ago

A fuzzy inference system library for Ada

Ada3

8 years ago

Behavior Driven Development in Ada

Ada5

3 years ago

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

Ada12other

7 months ago

base58 encoding and decoding in ada

Ada4

7 years ago

Ada binding to the Z3 Theorem Prover

Ada6mit

2 years ago

[DEPRECATED] Generate Ada bindings to C++ code

Python14agpl-3.0

4 years ago

adabinding-generatorbindings

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Ada31bsd-3-clause

6 months ago

adaasconcshake

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86

Ada75gpl-3.0

3 years ago

adaosspark

A G-code parser and CNC controller (in Ada)

Ada61gpl-3.0

5 years ago

Ada binding for the Pebble Time smartwatch

Ada17

8 years ago

Fully functional Hungarian Algorithm implementation in Ada

1gpl-3.0

6 months ago

adahungarian-algorithmkuhn

FreeType binding for Ada 2012

Ada1mit

3 years ago

adafreetypelanguage-bindings

tools for writing lexers / parsers in Ada

Ada6mit

6 years ago

adalexerreference-counting

Ada Posix Binding to Video 4 Linux, used for RPI

Ada0

9 years ago

A library of access routines to Axon's ABF file format (electrophysiology, most

Ada0gpl-3.0

5 years ago

Ada binding for OpenGL/WebGL

Ada8bsd-3-clause

3 years ago

Web UI on Ada

Ada1bsd-3-clause

2 years ago

adawasmwebgl

An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6

Ada0isc

8 years ago

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

Ada3isc

last year

An Ada 2012 project that implements reference counting approaches to resource ma

Ada8isc

last year

This is an Ada 2012 package that provides an interface to BLAS.

Ada4isc

2 years ago

An Ada 2012 package to parse command line arguments and options

Ada10isc

2 years ago

This is an Ada 2012 package that provides a task pool system for jobs which each

Ada1isc

9 years ago

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti

Ada8isc

6 years ago

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function

Ada5other

6 years ago

An Ada-oriented GUI

Ada33bsd-3-clause

5 months ago

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

Ada2

2 years ago

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

Ada30isc

2 years ago

Collection of basic math routines in Ada

Ada24other

last year

Ada OpenGL Framework

Ada3

8 years ago

Ada Bare Bones OS development tutorial source code

Ada79other

7 years ago

adabare-bonesbare-bones-tutorial

Ada 2012 bindings to SDL 2

Ada100zlib

9 months ago

adaada2012bindings

Ada binding to the SFML library

Ada25other

5 months ago

adaaudiobinding

base58 encoding and decoding in ada

Ada4

7 years ago

base58 encoding and decoding in ada

Ada4

7 years ago

Ada General Purpose Library -- Miscellaneous utilities

Ada4other

6 years ago

Generator of JUnit-compatible XML reports in Ada

Ada1lgpl-3.0

2 years ago

Open Source Licenses library for Ada

Ada0mit

6 years ago

An Ada 2012 implementation of the Rx methodology

Ada14lgpl-3.0

2 years ago

reactive-programmingreactivexrx

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

Ada57other

2 years ago

aadlada

An Ada 2012 compiler in Scala