Awesome Ada

3D

  • updated over 1 year ago

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

  • updated almost 9 years ago

    Ada OpenGL Framework

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

  • updated 11 months ago

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

Algorithms, Containers and Protocols

  • updated about 1 year ago Other

    Genetic Algorithm Implementation for Ada

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

    Prototype implementation of LSP client - Visual Studio 2017

  • updated almost 7 years ago MIT License

    Language Server Protocol for Ada

  • updated about 1 year ago Other

    Small Library for Sodoku grid solving / finding

  • updated over 1 year ago Other

    Generic Ada Library for Algorithms and Containers

  • updated 6 days ago GNU General Publi...

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated about 12 years ago

    G2 network server leaf

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

    An Ada Library for UUID generation.

  • updated over 6 years ago Other

    Ada General Purpose Library -- Miscellaneous utilities

  • AZ3 AZ3 6
    star
    updated about 2 months ago MIT License

    Ada binding to the Z3 Theorem Prover

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

    Chests are bounded containers

  • updated 24 days ago GNU General Publi...

    Fully functional Hungarian Algorithm implementation in Ada

  • NBAda NBAda 11
    star
    updated over 9 years ago GNU General Publi...

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

  • updated 7 months ago

    The PragmAda Reusable Components

  • updated over 4 years ago MIT License

    Simple blockchain in Ada

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

    Simple Layer 3 Protocol

  • updated over 6 years ago

    Christoph Karl Walter Grein's Smart Pointers

Bindings

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

  • updated about 9 years ago Other

    Ada interface to the readline library

  • updated over 2 years ago

    Boehm GC interface library for gcc-Ada (GNAT)

  • updated over 13 years ago Other

    Ada bindings to the Lua language

  • updated 15 days ago Other

    Ada bindings for the GTK+ graphical library.

  • updated over 6 years ago Other

    Ada wrapper for the fast Stachniss' Hungarian solver

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

    Ada binding to Tcl/Tk, based on TASH

  • updated over 2 years ago

    Ada binding to Tcl/Tk, based on TASHY

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

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

  • updated over 2 years ago Other

    Ada bindings of Turbo Pascal 7.0 units with Gnoga.

  • updated about 3 years ago Other

    Ada bindings of Turbo Pascal 7.0 units with GTKAda.

Build and Package

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

    cmake macros for simple gnat project inclusion

  • alire alire 275
    star
    updated 2 months ago GNU General Publi...

    Command-line tool from the Alire project and supporting library

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

    The AURA Reference Implementation

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

    Ada language support for CMake.

  • updated 23 days ago Other

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

  • updated over 2 years ago ISC License

    Administration tool for Ravenports

  • synth synth 250
    star
    updated 6 months ago ISC License

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

Compilers

  • updated 10 months ago Apache License 2.0

    An Ada 2012 compiler in Scala

  • Byron Byron 58
    star
    updated over 4 years ago Other

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

  • updated 12 days ago

    LLVM based GNAT compiler

  • hac hac 105
    star
    updated 5 months ago

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

Compression

  • updated 11 days ago MIT License

    Ada binding for liblzma compression library

  • updated about 2 years ago MIT License

    An Ada 2012 library for document container files

  • updated 5 months ago

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

Cryptography

  • updated over 6 years ago Other

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

  • updated 8 months ago Apache License 2.0

    Ada Binding for the libsecret library

  • updated over 1 year ago ISC License

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

  • updated almost 3 years ago MIT No Attribution

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

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

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

  • updated about 8 years ago ISC License

    libsodium for Ada - A secure cryptographic library

  • updated over 3 years ago

    A cryptographic library in SPARK 2014

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

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

  • updated over 6 years ago ISC License

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

  • updated over 6 years ago Other

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

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

    SPARK 2014 re-implementation of the TweetNaCl crypto library

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

    SPARK TOTP library

  • updated about 2 years ago MIT License

    xxhash in ada

Database

  • updated 11 days ago Apache License 2.0

    Ada Database Objects

  • updated almost 2 years ago ISC License

    Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

DevOps

  • septum septum 370
    star
    updated 7 months ago Apache License 2.0

    Context-based code search tool

Editors and extensions

  • updated about 5 years ago

    Basic syntax highlighting for Ada and GPR

  • updated over 9 years ago

    TextMate support for Ada

  • updated 6 days ago GNU General Publi...

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated 5 days ago

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

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

Encryption

  • updated 11 days ago Apache License 2.0

    Ada Keystore - protect your sensitive data with secure storage

Format Readers and Writers

  • updated 8 months ago

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

  • updated about 1 year ago

    Implementation of Midi / MidiFile reading and writing

  • updated 7 months ago

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

  • updated over 1 year ago Other

    TOML parser for Ada

  • updated over 2 years ago MIT License

    experimental YAML 1.3 implementation in Ada

  • updated 5 months ago

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

  • gid gid 23
    star
    updated 3 months ago

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

  • updated 5 months ago

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

  • updated about 2 years ago Apache License 2.0

    An Ada 2012 library for parsing JSON

  • jwx jwx 17
    star
    updated almost 4 years ago GNU Affero Genera...

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

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

    Matreshka Project

  • updated over 1 year ago MIT License

    The Google Protocol Buffers implementation in Ada

  • updated over 2 years ago Other
  • SXML SXML 21
    star
    updated over 4 years ago GNU Affero Genera...

    Formally verified, bounded-stack XML library

  • updated 4 months ago Other

    The XML/Ada toolkit.

  • 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

Frameworks components

  • updated about 2 years ago GNU Affero Genera...
  • updated 10 days ago Apache License 2.0

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

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

    The ANNEXI-STRAYLINE AURA Public Repository

  • updated 3 months ago Other

    GNAT Components Collection – Bindings to C libraries

  • updated 15 days ago Other

    GNAT Components Collection – Core packages

  • updated 21 days ago Other

    GNAT Components Collection – Database packages

  • updated over 1 year ago Other
  • updated about 4 years ago GNU Affero Genera...

    Framework for platform-independent SPARK components

Games

  • updated over 1 year ago Other

    TOML parser for Ada

  • updated about 1 month 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 about 1 month 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 32
    star
    updated 4 months ago Other

    Ada binding to the SFML library

  • updated about 1 year ago MIT License

    Bingo application in GTKAda

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

    A Button Mania game written in Ada

  • updated 11 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 over 2 years ago

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

  • updated 11 months ago GNU General Publi...

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

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

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

    A tictactoe game written and proven in SPARK

  • updated about 1 month 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 18
    star
    updated 29 days ago
  • updated almost 11 years ago ISC License

    An Ada binding for the OpenCL host API

Generation

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

    Generator of JUnit-compatible XML reports in Ada

  • updated about 1 year ago Other

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

  • updated 11 months ago

    Ada finite-state machine generator.

  • updated over 2 years ago Other

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

Graphical User Interface

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

    An Ada-oriented GUI

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

    Ada WASM Runtime and Bindings for Web API

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

    Web UI on Ada

  • updated 15 days ago Other

    Ada bindings for the GTK+ graphical library.

  • updated 3 months ago

    GWindows: GUI framework for MS Windows

  • lumen lumen 27
    star
    updated over 11 years ago

    OpenGL GUI toolkit library for Ada

Graphics and Multimedia

  • updated over 8 years ago

    Ada bindings to NanoVG

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

    Ada binding for OpenGL/WebGL

  • ASFML ASFML 32
    star
    updated 4 months ago Other

    Ada binding to the SFML library

  • updated over 3 years ago MIT License

    FreeType binding for Ada 2012

  • updated about 2 years ago MIT License

    Thick Ada binding for OpenGL and GLFW

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

    The OpenGL 4.6 Rendering Kernel in Ada 2012

Linux and POSIX

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

    Minimal binding to libdl

  • updated over 2 years ago Apache License 2.0

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

  • updated 12 days ago Other

    Ada Windows POSIX binding

Math

  • updated over 2 years ago ISC License

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

  • updated almost 5 years ago

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

  • updated almost 2 years ago Other

    Collection of basic math routines in Ada

  • updated 4 months ago

    Mathpaqs: a collection of mathematical packages in pure Ada

Networking

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

    BSD sockets in Ada

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

    Ada bindings for the MQTT broker mosquitto.

OS and Kernels

  • updated almost 8 years ago Other

    Ada Bare Bones OS development tutorial source code

  • CuBit CuBit 75
    star
    updated over 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 almost 4 years ago

    Operating System development experiment in Ada

  • updated over 3 years ago Apache License 2.0

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

  • updated 7 months ago GNU General Publi...

    An OS built with the Ironclad kernel and GNU tools

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

    An attempt at a minimalistic and secure operating system.

  • updated 6 months ago Apache License 2.0

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

Parsers and Linters

  • updated about 9 years ago Other

    Embeddable Forth interpreter written in Ada

  • updated over 3 years ago MIT License

    Grammar handling and parser generation Ada library

  • updated almost 4 years ago MIT License

    Incremental analysis in Ada

  • updated 6 days ago Other

    Ada semantic analysis library.

  • updated over 2 years ago ISC License

    An Ada 2012 package to parse command line arguments and options

  • updated over 6 years ago MIT License

    tools for writing lexers / parsers in Ada

  • xia xia 4
    star
    updated 9 months ago Other

    An Ada implementation of XPath 1.0.

Patterns

  • updated over 7 years ago

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

  • 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 rxada 17
    star
    updated 7 months ago GNU Lesser Genera...

    An Ada 2012 implementation of the Rx methodology

Robotics

  • updated over 10 years ago Other

    Ada bindings for the player robotic platform

  • updated 20 days ago GNU Lesser Genera...

    Ada client library for ROS2/RCL

Runtimes

  • updated about 2 years ago GNU Affero Genera...
  • updated 3 months ago BSD 3-Clause "New...

    Ada WASM Runtime and Bindings for Web API

  • updated 6 days ago Other

    Source repository for the GNAT Bare Metal BSPs

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

    Drake: A Runtime Library for gcc-Ada

Science

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

    Utility library to pretty print physical values in proper metric units

Sound

  • updated over 8 years ago

    Ada bindings for libsoundio

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

  • updated about 2 years ago Apache License 2.0

    Ada 2012 bindings for libcanberra

  • updated almost 2 years ago ISC License

    Ada bindings to OpenAL

  • updated about 2 years ago Apache License 2.0

    Ada 2012 bindings for the Opus audio codec.

  • oto oto 3
    star
    updated over 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 about 1 month ago GNU General Publi...

    Yet Another Static Site (Generator)

System Modeling

  • updated over 8 years ago

    A fuzzy inference system library for Ada

  • updated 11 months ago GNU Lesser Genera...

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

Terminal User Interface

  • updated over 4 years ago

    Advanced UNIX Terminal UI Ada Binding Package

Testing

  • updated 12 days ago Other
  • updated almost 3 years ago

    Behavior Driven Development in Ada

  • updated over 1 year ago

    Supports functional testing using Tcl scripts.

UML

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

    Ada-tailored UML Modeling Language

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

    ColdFrame generates Ada framework code and documentation from UML models.

Verification

  • updated 8 months ago Other

    The Ada Conformity Assessment Test Suite, customised for GCC.

  • updated 8 months ago

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

  • updated 6 days ago

    GNATcoverage: Coverage Analysis Tool

  • updated 6 days 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 11 days ago Apache License 2.0

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

  • updated 10 days ago Apache License 2.0

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

  • updated 11 days ago Apache License 2.0

    Ada EL - Expression Language Library (JSR245)

  • updated 11 days ago Apache License 2.0

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

  • updated 11 days ago Apache License 2.0

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

  • updated 10 days ago Apache License 2.0

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

  • aws aws 127
    star
    updated 12 days ago Other

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

  • updated 11 days ago Apache License 2.0

    Dynamo Ada Application Code Generator

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

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

    Matreshka Project

  • updated 11 days ago Apache License 2.0

    Ada support for OpenAPI code generator

Windows and .NET

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

    Ada bindings to the Microsoft NetFramework Api

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

    Ada bindings for the Microsoft Win32 Api

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

    Ada bindings for the Microsft WinRT Api

  • updated 10 days ago Other

    Ada API to the Windows library