AdaDoom3 248

| updated about 1 year ago

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

AdaOGL 3

| updated over 8 years ago

Ada OpenGL Framework

engine-3d 2

| updated over 4 years ago

Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !

globe-3d 15

| updated 6 months ago

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

Ada-GA 2

| updated 9 months ago | Other

Genetic Algorithm Implementation for Ada

Ada-LanguageServer 1

| updated over 5 years ago | GNU Lesser Genera...

Prototype implementation of LSP client - Visual Studio 2017

ada-lsp 11

| updated over 6 years ago | MIT License

Language Server Protocol for Ada

Ada-Sodoku 5

| updated 9 months ago | Other

Small Library for Sodoku grid solving / finding

ada-traits-containers 28

| updated about 1 year ago | Other

Generic Ada Library for Algorithms and Containers

ada_language_server 217

| updated 14 days ago | GNU General Publi...

Server implementing the Microsoft Language Protocol for Ada and SPARK

adagio 3

| updated over 11 years ago

G2 network server leaf

AdaID 15

| updated over 2 years ago | BSD 2-Clause "Sim...

An Ada Library for UUID generation.

agpl 4

| updated almost 6 years ago | Other

Ada General Purpose Library -- Miscellaneous utilities

AZ3 6

| updated over 2 years ago | MIT License

Ada binding to the Z3 Theorem Prover

chests 3

| updated about 2 years ago | BSD 3-Clause "New...

Chests are bounded containers

HungarianAlgorithm 1

| updated 6 months ago | GNU General Publi...

Fully functional Hungarian Algorithm implementation in Ada

NBAda 10

| updated almost 9 years ago | GNU General Publi...

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

PragmARC 26

| updated 5 months ago

The PragmAda Reusable Components

simple_blockchain 21

| updated almost 4 years ago | MIT License

Simple blockchain in Ada

sl3p 1

| updated over 5 years ago | GNU Affero Genera...

Simple Layer 3 Protocol

smart_pointers 1

| updated almost 6 years ago

Christoph Karl Walter Grein's Smart Pointers

ada-bfd 8

| updated 8 months ago | GNU General Publi...

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.

areadline 6

| updated over 8 years ago | Other

Ada interface to the readline library

boehmgc-ada 5

| updated about 2 years ago

Boehm GC interface library for gcc-Ada (GNAT)

coreland-lua-ada 5

| updated about 13 years ago | Other

Ada bindings to the Lua language

gtkada 84

| updated about 2 months ago | Other

Ada bindings for the GTK+ graphical library.

hungarian 2

| updated almost 6 years ago | Other

Ada wrapper for the fast Stachniss' Hungarian solver

tashy 7

| updated almost 2 years ago | GNU General Publi...

Ada binding to Tcl/Tk, based on TASH

tashy2 2

| updated about 2 years ago

Ada binding to Tcl/Tk, based on TASHY

tcladashell 8

| updated about 1 year ago | GNU General Publi...

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

tp7ada-gnoga 5

| updated about 2 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

tp7ada-gtkada 3

| updated over 2 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

ada4cmake 4

| updated over 3 years ago | GNU General Publi...

cmake macros for simple gnat project inclusion

alire 242

| updated 2 months ago | GNU General Publi...

Command-line tool from the Alire project and supporting library

AURA 18

| updated 6 months ago | BSD 3-Clause "New...

The AURA Reference Implementation

cmake-ada 12

| updated over 9 years ago | GNU General Publi...

Ada language support for CMake.

gprbuild 63

| updated 24 days ago | Other

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

ravenadm 17

| updated about 2 years ago | ISC License

Administration tool for Ravenports

synth 244

| updated 2 months ago | ISC License

Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)

augusta 27

| updated 5 months ago | Apache License 2.0

An Ada 2012 compiler in Scala

Byron 57

| updated almost 4 years ago | Other

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

gnat-llvm 173

| updated 18 days ago

LLVM based GNAT compiler

hac 95

| updated 3 months ago

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

ada-lzma 6

| updated 7 months ago | MIT License

Ada binding for liblzma compression library

dcf-ada 5

| updated over 1 year ago | MIT License

An Ada 2012 library for document container files

zip-ada 19

| updated 10 months ago

Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.

Ada-Crypto-Library 86

| updated about 6 years ago | Other

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

ada-libsecret 2

| updated 2 months ago | Apache License 2.0

Ada Binding for the libsecret library

Ascon_SPARK 3

| updated about 1 year ago | ISC License

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

blake2s 1

| updated over 2 years ago | MIT No Attribution

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

libkeccak 31

| updated 6 months ago | BSD 3-Clause "New...

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

libsodium-ada 8

| updated almost 8 years ago | ISC License

libsodium for Ada - A secure cryptographic library

libsparkcrypto 27

| updated about 3 years ago

A cryptographic library in SPARK 2014

SipHash 1

| updated about 10 years ago | BSD 3-Clause "New...

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

SPARK_NORX 8

| updated almost 6 years ago | ISC License

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

SPARK_SipHash 5

| updated almost 6 years ago | Other

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

SPARKNaCl 104

| updated 6 months ago | BSD 3-Clause "New...

SPARK 2014 re-implementation of the TweetNaCl crypto library

STOTP 7

| updated almost 3 years ago | GNU Lesser Genera...

SPARK TOTP library

xxhash-ada 1

| updated over 1 year ago | MIT License

xxhash in ada

ada-ado 24

| updated 3 months ago | Apache License 2.0

Ada Database Objects

AdaBase 31

| updated over 1 year ago | ISC License

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

septum 368

| updated about 2 months ago | Apache License 2.0

Context-based code search tool

ada-vscode 1

| updated almost 5 years ago

Basic syntax highlighting for Ada and GPR

ada.tmbundle 6

| updated almost 9 years ago

TextMate support for Ada

ada_language_server 217

| updated 14 days ago | GNU General Publi...

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnatstudio 373

| updated 17 days ago

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

ada-keystore 31

| updated 3 months ago | Apache License 2.0

Ada Keystore - protect your sensitive data with secure storage

ada-bar-codes 12

| updated about 1 year ago

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

Ada-Midi 5

| updated 8 months ago

Implementation of Midi / MidiFile reading and writing

ada-pdf-writer 15

| updated about 2 months ago

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

ada-toml 25

| updated about 1 year ago | Other

TOML parser for Ada

AdaYaml 36

| updated over 2 years ago | MIT License

experimental YAML 1.3 implementation in Ada

excel-writer 7

| updated 4 months ago

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

gid 14

| updated 3 months ago

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

ini-files 6

| updated over 2 years ago

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

json-ada 35

| updated over 1 year ago | Apache License 2.0

An Ada 2012 library for parsing JSON

jwx 16

| updated over 3 years ago | GNU Affero Genera...

JSON/JWK/JWS/JWT/Base64 library in SPARK

matreshka 5

| updated 12 months ago | BSD 3-Clause "New...

Matreshka Project

protobuf 26

| updated about 1 year ago | MIT License

The Google Protocol Buffers implementation in Ada

SXML 21

| updated almost 4 years ago | GNU Affero Genera...

Formally verified, bounded-stack XML library

xmlada 21

| updated 5 months ago | Other

The XML/Ada toolkit.

xmlezout 2

| updated over 3 years ago | Other

XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs

ada-util 68

| updated about 1 month ago | Apache License 2.0

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

ASAP 6

| updated 11 months ago | BSD 3-Clause "New...

The ANNEXI-STRAYLINE AURA Public Repository

gnatcoll-bindings 13

| updated 22 days ago | Other

GNAT Components Collection – Bindings to C libraries

gnatcoll-core 43

| updated 18 days ago | Other

GNAT Components Collection – Core packages

gnatcoll-db 10

| updated 3 months ago | Other

GNAT Components Collection – Database packages

gneiss 22

| updated over 3 years ago | GNU Affero Genera...

Framework for platform-independent SPARK components

ada-toml 25

| updated about 1 year ago | Other

TOML parser for Ada

AdaGate 19

| updated 20 days ago | GNU General Publi...

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Amelia Earhart & Narbacular Drop with mind bending spacial interconnections.

AdaVenture 13

| updated 20 days ago | GNU General Publi...

AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.

ASFML 25

| updated 2 months ago | Other

Ada binding to the SFML library

bingada 7

| updated 10 months ago | MIT License

Bingo application in GTKAda

buttons 4

| updated almost 5 years ago | GNU General Publi...

A Button Mania game written in Ada

CoTerminalApps 27

| updated 6 months ago | GNU General Publi...

In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade". Please get updates from there.

Mine_Detector 2

| updated almost 2 years ago

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

play_2048 4

| updated 5 months ago | GNU General Publi...

2048 game: merge equal tiles until you add up to 2048

RufasCube 4

| updated about 1 month ago | GNU General Publi...

RufasCube is a 3D slider puzzle for Windows, OSX & most Linux distros. It looks like a rubic cube but it's a slider, not a twister.

tictactoe 3

| updated over 6 years ago | BSD 3-Clause "New...

A tictactoe game written and proven in SPARK

WorldCupSokerban 3

| updated 4 months ago | GNU General Publi...

This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and most Linux distros; featuring voice of Andres Cantor! Includes moderately capable, interactive autosolver.

OpenCLAda 15

| updated over 10 years ago | ISC License

An Ada binding for the OpenCL host API

ajunitgen 1

| updated almost 2 years ago | GNU Lesser Genera...

Generator of JUnit-compatible XML reports in Ada

asn1scc 250

| updated 7 months ago | Other

ASN1SCC: An open source ASN.1 compiler for embedded systems

Automate 5

| updated 6 months ago

Ada finite-state machine generator.

ocarina 56

| updated about 2 years ago | Other

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

Ada_GUI 34

| updated 3 months ago | BSD 3-Clause "New...

An Ada-oriented GUI

adawebpack 44

| updated about 1 year ago | BSD 3-Clause "New...

Ada WASM Runtime and Bindings for Web API

adawebui 1

| updated almost 2 years ago | BSD 3-Clause "New...

Web UI on Ada

gtkada 84

| updated about 2 months ago | Other

Ada bindings for the GTK+ graphical library.

gwindows 16

| updated 5 months ago

GWindows: GUI framework for MS Windows

lumen 26

| updated about 11 years ago

OpenGL GUI toolkit library for Ada

ada-nanovg 1

| updated about 8 years ago

Ada bindings to NanoVG

adagl 9

| updated about 3 years ago | BSD 3-Clause "New...

Ada binding for OpenGL/WebGL

ASFML 25

| updated 2 months ago | Other

Ada binding to the SFML library

FreeTypeAda 1

| updated almost 3 years ago | MIT License

FreeType binding for Ada 2012

OpenGLAda 89

| updated over 1 year ago | MIT License

Thick Ada binding for OpenGL and GLFW

orka 52

| updated about 1 year ago | Apache License 2.0

The OpenGL 4.6 Rendering Kernel in Ada 2012

sdlada 102

| updated 4 months ago | zlib License

Ada 2012 bindings to SDL 2

dl-ada 1

| updated about 3 years ago | GNU Lesser Genera...

Minimal binding to libdl

inotify-ada 8

| updated about 2 years ago | Apache License 2.0

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

wposix 4

| updated 3 months ago | Other

Ada Windows POSIX binding

LALG 4

| updated about 2 years ago | ISC License

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

mandelbrot_ascii 2

| updated over 4 years ago

Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)

math_packages 25

| updated over 1 year ago | Other

Collection of basic math routines in Ada

mathpaqs 11

| updated 6 months ago

Mathpaqs: a collection of mathematical packages in pure Ada

adasockets 13

| updated 9 months ago | GNU General Publi...

BSD sockets in Ada

mosquitto-ada 5

| updated 8 months ago | Eclipse Public Li...

Ada bindings for the MQTT broker mosquitto.

bare_bones 80

| updated over 7 years ago | Other

Ada Bare Bones OS development tutorial source code

CuBit 75

| updated almost 3 years ago | GNU General Publi...

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

cxos 34

| updated over 3 years ago

Operating System development experiment in Ada

ewok-kernel 72

| updated almost 3 years ago | Apache License 2.0

A secure and high performances microkernel for building secure MCU-based IoTs

Gloire 81

| updated about 1 month ago | GNU General Publi...

An OS built with the Ironclad kernel and GNU tools

HAVK 23

| updated almost 3 years ago | GNU General Publi...

An attempt at a minimalistic and secure operating system.

HiRTOS 21

| updated 3 months ago | Apache License 2.0

HiRTOS: a high-integrity RTOS kernel and separation kernel written in SPARK Ada

aforth 19

| updated over 8 years ago | Other

Embeddable Forth interpreter written in Ada

anagram 3

| updated about 3 years ago | MIT License

Grammar handling and parser generation Ada library

increment 4

| updated over 3 years ago | MIT License

Incremental analysis in Ada

libadalang 142

| updated 15 days ago | Other

Ada semantic analysis library.

parse_args 11

| updated about 2 years ago | ISC License

An Ada 2012 package to parse command line arguments and options

ParserTools 6

| updated about 6 years ago | MIT License

tools for writing lexers / parsers in Ada

xia 4

| updated 3 months ago | Other

An Ada implementation of XPath 1.0.

Ada-promises 7

| updated about 7 years ago

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

Reqrep_Task_Pools 1

| updated almost 9 years ago | ISC License

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.

rxada 16

| updated over 1 year ago | GNU Lesser Genera...

An Ada 2012 implementation of the Rx methodology

player-ada 4

| updated almost 10 years ago | Other

Ada bindings for the player robotic platform

rclada 7

| updated almost 2 years ago | GNU Lesser Genera...

Ada client library for ROS2/RCL

adawebpack 44

| updated about 1 year ago | BSD 3-Clause "New...

Ada WASM Runtime and Bindings for Web API

bb-runtimes 61

| updated 21 days ago | Other

Source repository for the GNAT Bare Metal BSPs

cortex-gnat-rts 60

| updated about 1 year ago | GNU General Publi...

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

drake 38

| updated almost 4 years ago | MIT License

Drake: A Runtime Library for gcc-Ada

si_units 8

| updated over 3 years ago | Do What The F*ck ...

Utility library to pretty print physical values in proper metric units

ada-soundio 6

| updated about 8 years ago

Ada bindings for libsoundio

Ada-Synthetizer 16

| updated 9 months ago

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem

canberra-ada 4

| updated over 1 year ago | Apache License 2.0

Ada 2012 bindings for libcanberra

coreland-openal-ada 3

| updated over 1 year ago | ISC License

Ada bindings to OpenAL

opus-ada 2

| updated over 1 year ago | Apache License 2.0

Ada 2012 bindings for the Opus audio codec.

oto 3

| updated about 8 years ago | ISC License

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

yass 23

| updated about 1 month ago | GNU General Publi...

Yet Another Static Site (Generator)

adafuzzy 3

| updated over 8 years ago

A fuzzy inference system library for Ada

Radalib 11

| updated 5 months ago | GNU Lesser Genera...

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

Curses 13

| updated almost 4 years ago

Advanced UNIX Terminal UI Ada Binding Package

gnatbdd 5

| updated over 2 years ago

Behavior Driven Development in Ada

scripted_testing 1

| updated about 1 year ago

Supports functional testing using Tcl scripts.

AdaML 9

| updated 12 months ago | GNU General Publi...

Ada-tailored UML Modeling Language

coldframe 7

| updated 7 months ago | GNU General Publi...

ColdFrame generates Ada framework code and documentation from UML models.

ACATS 9

| updated 5 months ago | Other

The Ada Conformity Assessment Test Suite, customised for GCC.

ACATS-grading 1

| updated 8 months ago

Tools for grading ACATS results, modified for Unix-like systems

gnatcoverage 32

| updated 14 days ago

GNATcoverage: Coverage Analysis Tool

spark2014 235

| updated 14 days ago | GNU General Publi...

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

ada-asf 12

| updated 4 months ago | Apache License 2.0

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

ada-awa 90

| updated 4 months ago | Apache License 2.0

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

ada-el 7

| updated 7 months ago | Apache License 2.0

Ada EL - Expression Language Library (JSR245)

ada-security 22

| updated 7 months ago | Apache License 2.0

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

ada-servlet 7

| updated 7 months ago | Apache License 2.0

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

ada-wiki 19

| updated 4 months ago | Apache License 2.0

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

aws 123

| updated about 1 month ago | Other

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

dynamo 17

| updated 6 months ago | Apache License 2.0

Dynamo Ada Application Code Generator

ews 11

| updated over 1 year ago | GNU General Publi...

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.

matreshka 5

| updated 12 months ago | BSD 3-Clause "New...

Matreshka Project

swagger-ada 25

| updated 7 months ago | Apache License 2.0

Ada support for OpenAPI code generator

Ada-NetFramework 5

| updated about 4 years ago | GNU Lesser Genera...

Ada bindings to the Microsoft NetFramework Api

Ada-Win32 3

| updated almost 4 years ago | GNU Lesser Genera...

Ada bindings for the Microsoft Win32 Api

Ada-WinRT 11

| updated almost 4 years ago | GNU Lesser Genera...

Ada bindings for the Microsft WinRT Api

win32ada 16

| updated 3 months ago

Ada API to the Windows library