AdaDoom3 258

| updated over 1 year ago

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

AdaOGL 3

| updated almost 9 years ago

Ada OpenGL Framework

engine-3d 2

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

| updated about 1 year ago

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

Ada-GA 2

| updated over 1 year ago | Other

Genetic Algorithm Implementation for Ada

Ada-LanguageServer 1

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

Prototype implementation of LSP client - Visual Studio 2017

ada-lsp 11

| updated almost 7 years ago | MIT License

Language Server Protocol for Ada

Ada-Sodoku 5

| updated over 1 year ago | Other

Small Library for Sodoku grid solving / finding

ada-traits-containers 29

| updated over 1 year ago | Other

Generic Ada Library for Algorithms and Containers

ada_language_server 230

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

Server implementing the Microsoft Language Protocol for Ada and SPARK

adagio 3

| updated about 12 years ago

G2 network server leaf

AdaID 15

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

An Ada Library for UUID generation.

agpl 4

| updated over 6 years ago | Other

Ada General Purpose Library -- Miscellaneous utilities

AZ3 6

| updated 3 months 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 2 months ago | GNU General Publi...

Fully functional Hungarian Algorithm implementation in Ada

NBAda 11

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

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

PragmARC 27

| updated 8 months ago

The PragmAda Reusable Components

simple_blockchain 21

| updated over 4 years ago | MIT License

Simple blockchain in Ada

sl3p 1

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

Simple Layer 3 Protocol

smart_pointers 1

| updated over 6 years ago

Christoph Karl Walter Grein's Smart Pointers

ada-bfd 8

| updated over 1 year 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 about 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 almost 14 years ago | Other

Ada bindings to the Lua language

gtkada 88

| updated about 2 months ago | Other

Ada bindings for the GTK+ graphical library.

hungarian 2

| updated over 6 years ago | Other

Ada wrapper for the fast Stachniss' Hungarian solver

tashy 7

| updated over 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 almost 3 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

tp7ada-gtkada 3

| updated over 3 years ago | Other

Ada bindings of Turbo Pascal 7.0 units with GTKAda.

ada4cmake 4

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

cmake macros for simple gnat project inclusion

alire 275

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

Command-line tool from the Alire project and supporting library

AURA 18

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

The AURA Reference Implementation

cmake-ada 12

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

Ada language support for CMake.

gprbuild 65

| updated 2 months 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 250

| updated 8 months ago | ISC License

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

augusta 28

| updated 12 months ago | Apache License 2.0

An Ada 2012 compiler in Scala

Byron 58

| updated over 4 years ago | Other

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

gnat-llvm 182

| updated about 2 months ago

LLVM based GNAT compiler

hac 120

| updated about 1 month ago

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

ada-lzma 6

| updated about 2 months ago | MIT License

Ada binding for liblzma compression library

dcf-ada 5

| updated over 2 years ago | MIT License

An Ada 2012 library for document container files

zip-ada 23

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

Ada Binding for the libsecret library

Ascon_SPARK 3

| updated almost 2 years ago | ISC License

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

blake2s 1

| updated about 3 years ago | MIT No Attribution

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

libkeccak 31

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

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

libsodium-ada 8

| updated over 8 years ago | ISC License

libsodium for Ada - A secure cryptographic library

libsparkcrypto 27

| updated almost 4 years ago

A cryptographic library in SPARK 2014

SipHash 1

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

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

SPARK_NORX 8

| updated over 6 years ago | ISC License

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

SPARK_SipHash 5

| updated over 6 years ago | Other

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

SPARKNaCl 114

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

SPARK 2014 re-implementation of the TweetNaCl crypto library

STOTP 7

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

SPARK TOTP library

xxhash-ada 1

| updated about 2 years ago | MIT License

xxhash in ada

ada-ado 25

| updated about 2 months ago | Apache License 2.0

Ada Database Objects

AdaBase 31

| updated about 2 years ago | ISC License

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

septum 375

| updated 9 months ago | Apache License 2.0

Context-based code search tool

ada-vscode 1

| updated over 5 years ago

Basic syntax highlighting for Ada and GPR

ada.tmbundle 6

| updated over 9 years ago

TextMate support for Ada

ada_language_server 230

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

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnatstudio 402

| updated about 2 months ago

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

ada-keystore 31

| updated about 2 months ago | Apache License 2.0

Ada Keystore - protect your sensitive data with secure storage

ada-bar-codes 13

| updated 2 months ago

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

Ada-Midi 6

| updated over 1 year ago

Implementation of Midi / MidiFile reading and writing

ada-pdf-writer 15

| updated 8 months ago

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

ada-toml 25

| updated almost 2 years ago | Other

TOML parser for Ada

AdaYaml 37

| updated almost 3 years ago | MIT License

experimental YAML 1.3 implementation in Ada

excel-writer 7

| updated 3 months ago

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

gid 23

| updated about 2 months ago

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

ini-files 6

| updated 6 months ago

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

json-ada 35

| updated over 2 years ago | Apache License 2.0

An Ada 2012 library for parsing JSON

jwx 17

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

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

matreshka 6

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

Matreshka Project

protobuf 30

| updated almost 2 years ago | MIT License

The Google Protocol Buffers implementation in Ada

SXML 21

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

Formally verified, bounded-stack XML library

xmlada 22

| updated 5 months ago | Other

The XML/Ada toolkit.

xmlezout 2

| updated almost 4 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 about 2 months ago | Apache License 2.0

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

ASAP 6

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

The ANNEXI-STRAYLINE AURA Public Repository

gnatcoll-bindings 14

| updated 4 months ago | Other

GNAT Components Collection – Bindings to C libraries

gnatcoll-core 45

| updated about 1 month ago | Other

GNAT Components Collection – Core packages

gnatcoll-db 11

| updated about 2 months ago | Other

GNAT Components Collection – Database packages

gneiss 22

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

Framework for platform-independent SPARK components

lace 1

| updated over 2 years ago | ISC License

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

ada-toml 25

| updated almost 2 years ago | Other

TOML parser for Ada

AdaGate 20

| updated 3 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 Narbacular Drop with mind bending spacial interconnections.

AdaVenture 15

| updated 3 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 32

| updated 6 months ago | Other

Ada binding to the SFML library

bingada 8

| updated over 1 year ago | MIT License

Bingo application in GTKAda

buttons 4

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

A Button Mania game written in Ada

CoTerminalApps 26

| updated about 1 year 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 over 2 years ago

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

play_2048 4

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

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

RufasCube 4

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

A tictactoe game written and proven in SPARK

WorldCupSokerban 3

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

An Ada binding for the OpenCL host API

ajunitgen 1

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

Generator of JUnit-compatible XML reports in Ada

asn1scc 250

| updated about 1 year ago | Other

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

Automate 6

| updated about 1 year 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 9 months ago | BSD 3-Clause "New...

An Ada-oriented GUI

adawebpack 48

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

Ada WASM Runtime and Bindings for Web API

adawebui 1

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

Web UI on Ada

gtkada 88

| updated about 2 months ago | Other

Ada bindings for the GTK+ graphical library.

gwindows 21

| updated about 2 months ago

GWindows: GUI framework for MS Windows

lumen 27

| updated almost 12 years ago

OpenGL GUI toolkit library for Ada

ada-nanovg 1

| updated almost 9 years ago

Ada bindings to NanoVG

adagl 9

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

Ada binding for OpenGL/WebGL

ASFML 32

| updated 6 months ago | Other

Ada binding to the SFML library

FreeTypeAda 1

| updated over 3 years ago | MIT License

FreeType binding for Ada 2012

OpenGLAda 95

| updated about 2 years ago | MIT License

Thick Ada binding for OpenGL and GLFW

orka 52

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

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

wposix 4

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

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

math_packages 25

| updated about 2 years ago | Other

Collection of basic math routines in Ada

mathpaqs 11

| updated 3 months ago

Mathpaqs: a collection of mathematical packages in pure Ada

adasockets 13

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

BSD sockets in Ada

mosquitto-ada 5

| updated about 1 year ago | Eclipse Public Li...

Ada bindings for the MQTT broker mosquitto.

bare_bones 83

| updated about 8 years ago | Other

Ada Bare Bones OS development tutorial source code

CuBit 75

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

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

cxos 34

| updated almost 4 years ago

Operating System development experiment in Ada

ewok-kernel 72

| updated over 3 years ago | Apache License 2.0

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

Gloire 81

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

An OS built with the Ironclad kernel and GNU tools

HAVK 23

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

An attempt at a minimalistic and secure operating system.

HiRTOS 22

| updated 7 months ago | Apache License 2.0

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

aforth 19

| updated about 9 years ago | Other

Embeddable Forth interpreter written in Ada

anagram 3

| updated almost 4 years ago | MIT License

Grammar handling and parser generation Ada library

increment 4

| updated almost 4 years ago | MIT License

Incremental analysis in Ada

libadalang 146

| updated about 2 months ago | Other

Ada semantic analysis library.

parse_args 12

| updated over 2 years ago | ISC License

An Ada 2012 package to parse command line arguments and options

ParserTools 6

| updated almost 7 years ago | MIT License

tools for writing lexers / parsers in Ada

xia 4

| updated 10 months ago | Other

An Ada implementation of XPath 1.0.

Ada-promises 8

| updated over 7 years ago

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

Reqrep_Task_Pools 1

| updated over 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 9 months ago | GNU Lesser Genera...

An Ada 2012 implementation of the Rx methodology

player-ada 4

| updated over 10 years ago | Other

Ada bindings for the player robotic platform

rclada 9

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

Ada client library for ROS2/RCL

adawebpack 48

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

Ada WASM Runtime and Bindings for Web API

bb-runtimes 64

| updated about 2 months ago | Other

Source repository for the GNAT Bare Metal BSPs

cortex-gnat-rts 60

| updated 9 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 over 4 years ago | MIT License

Drake: A Runtime Library for gcc-Ada

si_units 8

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

Utility library to pretty print physical values in proper metric units

ada-soundio 6

| updated almost 9 years ago

Ada bindings for libsoundio

Ada-Synthetizer 16

| updated over 1 year 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 2 years ago | Apache License 2.0

Ada 2012 bindings for libcanberra

coreland-openal-ada 3

| updated almost 2 years ago | ISC License

Ada bindings to OpenAL

opus-ada 2

| updated over 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 3 months ago | GNU General Publi...

Yet Another Static Site (Generator)

adafuzzy 3

| updated almost 9 years ago

A fuzzy inference system library for Ada

Radalib 11

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

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

Curses 13

| updated over 4 years ago

Advanced UNIX Terminal UI Ada Binding Package

gnatbdd 6

| updated about 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 over 1 year ago | GNU General Publi...

Ada-tailored UML Modeling Language

coldframe 8

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

ColdFrame generates Ada framework code and documentation from UML models.

ACATS 9

| updated 9 months ago | Other

The Ada Conformity Assessment Test Suite, customised for GCC.

ACATS-grading 1

| updated 9 months ago

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

gnatcoverage 36

| updated about 2 months ago

GNATcoverage: Coverage Analysis Tool

spark2014 245

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

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

ada-awa 93

| updated about 2 months ago | Apache License 2.0

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

ada-el 7

| updated about 2 months ago | Apache License 2.0

Ada EL - Expression Language Library (JSR245)

ada-security 22

| updated about 2 months ago | Apache License 2.0

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

ada-servlet 7

| updated about 2 months ago | Apache License 2.0

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

ada-wiki 19

| updated about 2 months ago | Apache License 2.0

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

aws 127

| updated about 2 months ago | Other

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

dynamo 17

| updated about 2 months ago | Apache License 2.0

Dynamo Ada Application Code Generator

ews 11

| updated over 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 over 1 year ago | BSD 3-Clause "New...

Matreshka Project

swagger-ada 27

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

Ada bindings for the Microsoft Win32 Api

Ada-WinRT 12

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

Ada bindings for the Microsft WinRT Api

win32ada 17

| updated about 2 months ago | Other

Ada API to the Windows library