AdaDoom3 254

| updated over 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 almost 5 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 9 months ago

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

Ada-GA 2

| updated 12 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 12 months ago | Other

Small Library for Sodoku grid solving / finding

ada-traits-containers 28

| updated over 1 year ago | Other

Generic Ada Library for Algorithms and Containers

ada_language_server 226

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

Server implementing the Microsoft Language Protocol for Ada and SPARK

adagio 3

| updated almost 12 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 about 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 over 2 years ago | BSD 3-Clause "New...

Chests are bounded containers

HungarianAlgorithm 1

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

Fully functional Hungarian Algorithm implementation in Ada

NBAda 11

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

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

PragmARC 26

| updated 4 months ago

The PragmAda Reusable Components

simple_blockchain 21

| updated about 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 about 6 years ago

Christoph Karl Walter Grein's Smart Pointers

ada-bfd 8

| updated 11 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 almost 9 years ago | Other

Ada interface to the readline library

boehmgc-ada 5

| updated over 2 years ago

Boehm GC interface library for gcc-Ada (GNAT)

coreland-lua-ada 5

| updated over 13 years ago | Other

Ada bindings to the Lua language

gtkada 85

| updated 29 days ago | Other

Ada bindings for the GTK+ graphical library.

hungarian 2

| updated about 6 years ago | Other

Ada wrapper for the fast Stachniss' Hungarian solver

tashy 7

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

Ada binding to Tcl/Tk, based on TASH

tashy2 2

| updated over 2 years ago

Ada binding to Tcl/Tk, based on TASHY

tcladashell 9

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

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

tp7ada-gnoga 5

| updated over 2 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

tp7ada-gtkada 3

| updated almost 3 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

ada4cmake 4

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

cmake macros for simple gnat project inclusion

alire 267

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

Command-line tool from the Alire project and supporting library

AURA 18

| updated 9 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 64

| updated 24 days ago | Other

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

ravenadm 17

| updated over 2 years ago | ISC License

Administration tool for Ravenports

synth 248

| updated 4 months ago | ISC License

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

augusta 28

| updated 8 months ago | Apache License 2.0

An Ada 2012 compiler in Scala

Byron 57

| updated about 4 years ago | Other

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

gnat-llvm 182

| updated 25 days ago

LLVM based GNAT compiler

hac 105

| updated 2 months ago

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

ada-lzma 6

| updated 10 months ago | MIT License

Ada binding for liblzma compression library

dcf-ada 5

| updated almost 2 years ago | MIT License

An Ada 2012 library for document container files

zip-ada 22

| updated 2 months ago

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

Ada-Crypto-Library 85

| updated over 6 years ago | Other

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

ada-libsecret 2

| updated 5 months ago | Apache License 2.0

Ada Binding for the libsecret library

Ascon_SPARK 3

| updated over 1 year ago | ISC License

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

blake2s 1

| updated almost 3 years ago | MIT No Attribution

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

libkeccak 31

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

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

libsodium-ada 8

| updated about 8 years ago | ISC License

libsodium for Ada - A secure cryptographic library

libsparkcrypto 27

| updated over 3 years ago

A cryptographic library in SPARK 2014

SipHash 1

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

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

SPARK_NORX 8

| updated about 6 years ago | ISC License

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

SPARK_SipHash 5

| updated about 6 years ago | Other

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

SPARKNaCl 108

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

SPARK 2014 re-implementation of the TweetNaCl crypto library

STOTP 7

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

SPARK TOTP library

xxhash-ada 1

| updated almost 2 years ago | MIT License

xxhash in ada

ada-ado 25

| updated 3 months ago | Apache License 2.0

Ada Database Objects

AdaBase 31

| updated almost 2 years ago | ISC License

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

septum 370

| updated 5 months ago | Apache License 2.0

Context-based code search tool

ada-vscode 1

| updated about 5 years ago

Basic syntax highlighting for Ada and GPR

ada.tmbundle 6

| updated about 9 years ago

TextMate support for Ada

ada_language_server 226

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

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnatstudio 392

| updated 23 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 13

| updated 5 months ago

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

Ada-Midi 6

| updated 12 months ago

Implementation of Midi / MidiFile reading and writing

ada-pdf-writer 15

| updated 5 months ago

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

ada-toml 25

| updated over 1 year ago | Other

TOML parser for Ada

AdaYaml 37

| updated over 2 years ago | MIT License

experimental YAML 1.3 implementation in Ada

excel-writer 7

| updated 2 months ago

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

gid 23

| updated 16 days ago

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

ini-files 6

| updated 2 months ago

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

json-ada 35

| updated almost 2 years ago | Apache License 2.0

An Ada 2012 library for parsing JSON

jwx 17

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

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

matreshka 6

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

Matreshka Project

protobuf 30

| updated over 1 year ago | MIT License

The Google Protocol Buffers implementation in Ada

SXML 21

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

Formally verified, bounded-stack XML library

xmlada 21

| updated about 1 month 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 69

| updated 27 days ago | Apache License 2.0

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

ASAP 6

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

The ANNEXI-STRAYLINE AURA Public Repository

gnatcoll-bindings 13

| updated 16 days ago | Other

GNAT Components Collection – Bindings to C libraries

gnatcoll-core 44

| updated 12 days ago | Other

GNAT Components Collection – Core packages

gnatcoll-db 10

| updated about 2 months ago | Other

GNAT Components Collection – Database packages

gneiss 22

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

Framework for platform-independent SPARK components

lace 1

| updated almost 2 years ago | ISC License

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

ada-toml 25

| updated over 1 year ago | Other

TOML parser for Ada

AdaGate 19

| updated 4 months 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 14

| updated 4 months 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 26

| updated 2 months ago | Other

Ada binding to the SFML library

bingada 9

| updated about 1 year ago | MIT License

Bingo application in GTKAda

buttons 4

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

A Button Mania game written in Ada

CoTerminalApps 26

| updated 9 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 about 2 years ago

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

play_2048 4

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

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

RufasCube 4

| updated 4 months 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 almost 7 years ago | BSD 3-Clause "New...

A tictactoe game written and proven in SPARK

WorldCupSokerban 3

| updated 7 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 about 2 years ago | GNU Lesser Genera...

Generator of JUnit-compatible XML reports in Ada

asn1scc 250

| updated 10 months ago | Other

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

Automate 6

| updated 9 months ago

Ada finite-state machine generator.

ocarina 56

| updated over 2 years ago | Other

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

Ada_GUI 36

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

An Ada-oriented GUI

adawebpack 46

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

Ada WASM Runtime and Bindings for Web API

adawebui 1

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

Web UI on Ada

gtkada 85

| updated 29 days ago | Other

Ada bindings for the GTK+ graphical library.

gwindows 19

| updated 14 days ago

GWindows: GUI framework for MS Windows

lumen 26

| updated over 11 years ago

OpenGL GUI toolkit library for Ada

ada-nanovg 1

| updated over 8 years ago

Ada bindings to NanoVG

adagl 9

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

Ada binding for OpenGL/WebGL

ASFML 26

| updated 2 months ago | Other

Ada binding to the SFML library

FreeTypeAda 1

| updated about 3 years ago | MIT License

FreeType binding for Ada 2012

OpenGLAda 93

| updated almost 2 years ago | MIT License

Thick Ada binding for OpenGL and GLFW

orka 52

| updated over 1 year ago | Apache License 2.0

The OpenGL 4.6 Rendering Kernel in Ada 2012

dl-ada 1

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

Minimal binding to libdl

inotify-ada 8

| updated over 2 years ago | Apache License 2.0

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

wposix 4

| updated about 1 month ago | Other

Ada Windows POSIX binding

LALG 4

| updated over 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 about 2 months ago

Mathpaqs: a collection of mathematical packages in pure Ada

adasockets 13

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

BSD sockets in Ada

mosquitto-ada 5

| updated 11 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 about 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 about 3 years ago | Apache License 2.0

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

Gloire 81

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

An OS built with the Ironclad kernel and GNU tools

HAVK 23

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

An attempt at a minimalistic and secure operating system.

HiRTOS 22

| updated 3 months ago | Apache License 2.0

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

aforth 19

| updated almost 9 years ago | Other

Embeddable Forth interpreter written in Ada

anagram 3

| updated over 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 145

| updated 25 days ago | Other

Ada semantic analysis library.

parse_args 11

| updated over 2 years ago | ISC License

An Ada 2012 package to parse command line arguments and options

ParserTools 6

| updated over 6 years ago | MIT License

tools for writing lexers / parsers in Ada

xia 4

| updated 6 months ago | Other

An Ada implementation of XPath 1.0.

Ada-promises 7

| updated over 7 years ago

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

Reqrep_Task_Pools 1

| updated about 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 17

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

An Ada 2012 implementation of the Rx methodology

player-ada 4

| updated about 10 years ago | Other

Ada bindings for the player robotic platform

rclada 7

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

Ada client library for ROS2/RCL

adawebpack 46

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

Ada WASM Runtime and Bindings for Web API

bb-runtimes 61

| updated about 1 month ago | Other

Source repository for the GNAT Bare Metal BSPs

cortex-gnat-rts 60

| updated 5 months 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 about 4 years ago | MIT License

Drake: A Runtime Library for gcc-Ada

si_units 8

| updated almost 4 years ago | Do What The F*ck ...

Utility library to pretty print physical values in proper metric units

ada-soundio 6

| updated over 8 years ago

Ada bindings for libsoundio

Ada-Synthetizer 16

| updated 12 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 almost 2 years 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 almost 2 years ago | Apache License 2.0

Ada 2012 bindings for the Opus audio codec.

oto 3

| updated over 8 years ago | ISC License

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

yass 23

| updated about 2 months 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 8 months ago | GNU Lesser Genera...

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

Curses 13

| updated about 4 years ago

Advanced UNIX Terminal UI Ada Binding Package

gnatbdd 5

| updated almost 3 years ago

Behavior Driven Development in Ada

scripted_testing 1

| updated over 1 year ago

Supports functional testing using Tcl scripts.

AdaML 9

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

Ada-tailored UML Modeling Language

coldframe 8

| updated 10 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 5 months ago

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

gnatcoverage 34

| updated 23 days ago

GNATcoverage: Coverage Analysis Tool

spark2014 242

| updated 24 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 7 months ago | Apache License 2.0

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

ada-awa 93

| updated 7 months ago | Apache License 2.0

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

ada-el 7

| updated 10 months ago | Apache License 2.0

Ada EL - Expression Language Library (JSR245)

ada-security 22

| updated 10 months ago | Apache License 2.0

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

ada-servlet 7

| updated 10 months ago | Apache License 2.0

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

ada-wiki 19

| updated 7 months ago | Apache License 2.0

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

aws 127

| updated 24 days ago | Other

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

dynamo 17

| updated 9 months ago | Apache License 2.0

Dynamo Ada Application Code Generator

ews 11

| updated almost 2 years 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 6

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

Matreshka Project

swagger-ada 26

| updated 10 months ago | Apache License 2.0

Ada support for OpenAPI code generator

Ada-NetFramework 5

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

Ada bindings to the Microsoft NetFramework Api

Ada-Win32 3

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

Ada bindings for the Microsoft Win32 Api

Ada-WinRT 12

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

Ada bindings for the Microsft WinRT Api

win32ada 17

| updated about 1 month ago

Ada API to the Windows library