Awesome Ada

3D

  • updated 11 months ago

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

  • updated about 8 years ago

    Ada OpenGL Framework

  • 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 !

  • updated 4 months ago

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

Algorithms, Containers and Protocols

  • updated 7 months ago Other

    Genetic Algorithm Implementation for Ada

  • updated about 5 years ago GNU Lesser Genera...

    Prototype implementation of LSP client - Visual Studio 2017

  • updated about 6 years ago MIT License

    Language Server Protocol for Ada

  • updated 7 months ago Other

    Small Library for Sodoku grid solving / finding

  • updated 12 months ago Other

    Generic Ada Library for Algorithms and Containers

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

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated over 11 years ago

    G2 network server leaf

  • AdaID AdaID 15
    star
    updated about 2 years ago BSD 2-Clause "Sim...

    An Ada Library for UUID generation.

  • updated almost 6 years ago Other

    Ada General Purpose Library -- Miscellaneous utilities

  • AZ3 AZ3 5
    star
    updated about 2 years ago MIT License

    Ada binding to the Z3 Theorem Prover

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

    Chests are bounded containers

  • updated 4 months ago GNU General Publi...

    Fully functional Hungarian Algorithm implementation in Ada

  • NBAda NBAda 10
    star
    updated almost 9 years ago GNU General Publi...

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

  • updated 3 months ago

    The PragmAda Reusable Components

  • updated over 3 years ago MIT License

    Simple blockchain in Ada

  • updated about 5 years ago GNU Affero Genera...

    Simple Layer 3 Protocol

  • updated over 5 years ago

    Christoph Karl Walter Grein's Smart Pointers

Bindings

  • updated 7 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.

  • updated over 8 years ago Other

    Ada interface to the readline library

  • updated almost 2 years ago

    Boehm GC interface library for gcc-Ada (GNAT)

  • updated about 13 years ago Other

    Ada bindings to the Lua language

  • updated about 2 months ago Other

    Ada bindings for the GTK+ graphical library.

  • updated over 5 years ago Other

    Ada wrapper for the fast Stachniss' Hungarian solver

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

    Ada binding to Tcl/Tk, based on TASH

  • updated almost 2 years ago

    Ada binding to Tcl/Tk, based on TASHY

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

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

  • updated about 2 years ago Other

    Ada bindings of Turbo Pascal 7.0 units with Gnoga.

  • updated over 2 years ago Other

    Ada bindings of Turbo Pascal 7.0 units with GTKAda.

Build and Package

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

    cmake macros for simple gnat project inclusion

  • alire alire 242
    star
    updated 14 days ago GNU General Publi...

    Command-line tool from the Alire project and supporting library

  • AURA AURA 18
    star
    updated 5 months ago BSD 3-Clause "New...

    The AURA Reference Implementation

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

    Ada language support for CMake.

  • updated about 1 month ago Other

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

  • updated almost 2 years ago ISC License

    Administration tool for Ravenports

  • synth synth 244
    star
    updated 20 days ago ISC License

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

Compilers

  • updated 3 months ago Apache License 2.0

    An Ada 2012 compiler in Scala

  • Byron Byron 57
    star
    updated almost 4 years ago Other

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

  • updated about 1 month ago

    LLVM based GNAT compiler

  • hac hac 95
    star
    updated about 1 month ago

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

Compression

  • updated 5 months ago MIT License

    Ada binding for liblzma compression library

  • updated over 1 year ago MIT License

    An Ada 2012 library for document container files

  • updated 8 months ago

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

Cryptography

  • updated almost 6 years ago Other

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

  • updated almost 5 years ago Apache License 2.0

    Ada Binding for the libsecret library

  • updated about 1 year ago ISC License

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

  • updated over 2 years ago MIT No Attribution

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

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

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

  • updated over 7 years ago ISC License

    libsodium for Ada - A secure cryptographic library

  • updated about 1 year ago

    A cryptographic library in SPARK 2014

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

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

  • updated over 5 years ago ISC License

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

  • updated over 5 years ago Other

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

  • updated 4 months ago BSD 3-Clause "New...

    SPARK 2014 re-implementation of the TweetNaCl crypto library

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

    SPARK TOTP library

  • updated over 1 year ago MIT License

    xxhash in ada

Database

  • updated about 2 months ago Apache License 2.0

    Ada Database Objects

  • updated over 1 year ago ISC License

    Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

DevOps

  • septum septum 364
    star
    updated about 1 month ago Apache License 2.0

    Context-based code search tool

Editors and extensions

  • updated over 4 years ago

    Basic syntax highlighting for Ada and GPR

  • updated almost 9 years ago

    TextMate support for Ada

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

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated about 1 month ago

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

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

Encryption

  • updated about 2 months ago Apache License 2.0

    Ada Keystore - protect your sensitive data with secure storage

Format Readers and Writers

  • updated 11 months ago

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

  • updated 7 months ago

    Implementation of Midi / MidiFile reading and writing

  • updated 4 months ago

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

  • updated about 1 year ago Other

    TOML parser for Ada

  • updated about 2 years ago MIT License

    experimental YAML 1.3 implementation in Ada

  • updated about 2 months ago

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

  • gid gid 14
    star
    updated about 1 month ago

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

  • updated over 2 years ago

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

  • updated over 1 year ago Apache License 2.0

    An Ada 2012 library for parsing JSON

  • jwx jwx 15
    star
    updated over 1 year ago GNU Affero Genera...

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

  • updated 10 months ago BSD 3-Clause "New...

    Matreshka Project

  • updated about 1 year ago MIT License

    The Google Protocol Buffers implementation in Ada

  • updated almost 2 years ago Other
  • SXML SXML 19
    star
    updated about 2 years ago GNU Affero Genera...

    Formally verified, bounded-stack XML library

  • updated 3 months ago Other

    The XML/Ada toolkit.

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

Frameworks components

  • updated 9 months ago GNU Affero Genera...
  • updated about 2 months ago Apache License 2.0

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

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

    The ANNEXI-STRAYLINE AURA Public Repository

  • updated 3 months ago Other

    GNAT Components Collection – Bindings to C libraries

  • updated about 1 month ago Other

    GNAT Components Collection – Core packages

  • updated about 2 months ago Other

    GNAT Components Collection – Database packages

  • updated 12 months ago Other
  • updated over 3 years ago GNU Affero Genera...

    Framework for platform-independent SPARK components

  • updated over 1 year ago ISC License

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

Games

  • updated about 1 year ago Other

    TOML parser for Ada

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

  • 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 ASFML 25
    star
    updated 3 months ago Other

    Ada binding to the SFML library

  • updated 8 months ago MIT License

    Bingo application in GTKAda

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

    A Button Mania game written in Ada

  • updated 4 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.

  • updated almost 2 years ago

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

  • updated 3 months ago GNU General Publi...

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

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

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

    A tictactoe game written and proven in SPARK

  • updated about 2 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.

General Purpose Computing

  • cuda cuda 17
    star
    updated 3 months ago
  • updated over 10 years ago ISC License

    An Ada binding for the OpenCL host API

Generation

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

    Generator of JUnit-compatible XML reports in Ada

  • updated 5 months ago Other

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

  • updated 4 months ago

    Ada finite-state machine generator.

  • updated almost 2 years ago Other

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

Graphical User Interface

  • updated about 2 months ago BSD 3-Clause "New...

    An Ada-oriented GUI

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

    Ada WASM Runtime and Bindings for Web API

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

    Web UI on Ada

  • updated about 2 months ago Other

    Ada bindings for the GTK+ graphical library.

  • updated 3 months ago

    GWindows: GUI framework for MS Windows

  • lumen lumen 26
    star
    updated about 11 years ago

    OpenGL GUI toolkit library for Ada

Graphics and Multimedia

  • updated about 8 years ago

    Ada bindings to NanoVG

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

    Ada binding for OpenGL/WebGL

  • ASFML ASFML 25
    star
    updated 3 months ago Other

    Ada binding to the SFML library

  • updated almost 3 years ago MIT License

    FreeType binding for Ada 2012

  • updated over 1 year ago MIT License

    Thick Ada binding for OpenGL and GLFW

  • orka orka 52
    star
    updated about 1 year ago Apache License 2.0

    The OpenGL 4.6 Rendering Kernel in Ada 2012

  • sdlada sdlada 102
    star
    updated about 2 months ago zlib License

    Ada 2012 bindings to SDL 2

Linux and POSIX

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

    Minimal binding to libdl

  • updated about 2 years ago Apache License 2.0

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

  • updated about 2 months ago Other

    Ada Windows POSIX binding

Math

  • updated almost 2 years ago ISC License

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

  • updated over 4 years ago

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

  • updated over 1 year ago Other

    Collection of basic math routines in Ada

  • updated 4 months ago

    Mathpaqs: a collection of mathematical packages in pure Ada

Networking

  • updated 7 months ago GNU General Publi...

    BSD sockets in Ada

  • updated 6 months ago Eclipse Public Li...

    Ada bindings for the MQTT broker mosquitto.

OS and Kernels

  • updated over 7 years ago Other

    Ada Bare Bones OS development tutorial source code

  • CuBit CuBit 75
    star
    updated almost 3 years ago GNU General Publi...

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

  • cxos cxos 34
    star
    updated about 3 years ago

    Operating System development experiment in Ada

  • updated almost 3 years ago Apache License 2.0

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

  • updated 2 months ago GNU General Publi...

    An OS built with the Ironclad kernel and GNU tools

  • HAVK HAVK 23
    star
    updated almost 3 years ago GNU General Publi...

    An attempt at a minimalistic and secure operating system.

  • updated 29 days ago Apache License 2.0

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

Parsers and Linters

  • updated over 8 years ago Other

    Embeddable Forth interpreter written in Ada

  • updated about 3 years ago MIT License

    Grammar handling and parser generation Ada library

  • updated over 3 years ago MIT License

    Incremental analysis in Ada

  • updated about 1 month ago Other

    Ada semantic analysis library.

  • updated almost 2 years ago ISC License

    An Ada 2012 package to parse command line arguments and options

  • updated about 6 years ago MIT License

    tools for writing lexers / parsers in Ada

  • xia xia 4
    star
    updated about 1 month ago Other

    An Ada implementation of XPath 1.0.

Patterns

  • updated almost 7 years ago

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

  • updated over 8 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 rxada 16
    star
    updated over 1 year ago GNU Lesser Genera...

    An Ada 2012 implementation of the Rx methodology

Robotics

  • updated over 9 years ago Other

    Ada bindings for the player robotic platform

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

    Ada client library for ROS2/RCL

Runtimes

  • updated 9 months ago GNU Affero Genera...
  • updated 11 months ago BSD 3-Clause "New...

    Ada WASM Runtime and Bindings for Web API

  • updated about 2 months ago Other

    Source repository for the GNAT Bare Metal BSPs

  • 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 drake 38
    star
    updated almost 4 years ago MIT License

    Drake: A Runtime Library for gcc-Ada

Science

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

    Utility library to pretty print physical values in proper metric units

Sound

  • updated about 8 years ago

    Ada bindings for libsoundio

  • updated 7 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

  • updated over 1 year ago Apache License 2.0

    Ada 2012 bindings for libcanberra

  • updated about 1 year ago ISC License

    Ada bindings to OpenAL

  • updated over 1 year ago Apache License 2.0

    Ada 2012 bindings for the Opus audio codec.

  • oto oto 3
    star
    updated almost 8 years ago ISC License

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

Static site generation

  • yass yass 23
    star
    updated over 1 year ago GNU General Publi...

    Yet Another Static Site (Generator)

System Modeling

  • updated about 8 years ago

    A fuzzy inference system library for Ada

  • updated 4 months ago GNU Lesser Genera...

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

Terminal User Interface

  • updated almost 4 years ago

    Advanced UNIX Terminal UI Ada Binding Package

Testing

  • updated 2 months ago Other
  • updated over 2 years ago

    Behavior Driven Development in Ada

  • updated 10 months ago

    Supports functional testing using Tcl scripts.

UML

  • updated 10 months ago GNU General Publi...

    Ada-tailored UML Modeling Language

  • updated 5 months ago GNU General Publi...

    ColdFrame generates Ada framework code and documentation from UML models.

Verification

  • updated 3 months ago Other

    The Ada Conformity Assessment Test Suite, customised for GCC.

  • updated 6 months ago

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

  • updated about 1 month ago

    GNATcoverage: Coverage Analysis Tool

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

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

WEB

  • updated about 2 months ago Apache License 2.0

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

  • updated about 2 months ago Apache License 2.0

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

  • updated 5 months ago Apache License 2.0

    Ada EL - Expression Language Library (JSR245)

  • updated 5 months ago Apache License 2.0

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

  • updated 5 months ago Apache License 2.0

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

  • updated about 2 months ago Apache License 2.0

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

  • aws aws 117
    star
    updated about 1 month ago Other

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

  • updated 4 months ago Apache License 2.0

    Dynamo Ada Application Code Generator

  • ews ews 11
    star
    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.

  • updated 10 months ago BSD 3-Clause "New...

    Matreshka Project

  • updated 5 months ago Apache License 2.0

    Ada support for OpenAPI code generator

Windows and .NET

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

    Ada bindings to the Microsoft NetFramework Api

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

    Ada bindings for the Microsoft Win32 Api

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

    Ada bindings for the Microsft WinRT Api

  • updated about 2 months ago

    Ada API to the Windows library