Awesome Ada

3D

  • updated about 1 year ago

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

  • updated over 8 years ago

    Ada OpenGL Framework

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

  • updated 7 months ago

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

Algorithms, Containers and Protocols

  • updated 11 months ago Other

    Genetic Algorithm Implementation for Ada

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

    Prototype implementation of LSP client - Visual Studio 2017

  • updated over 6 years ago MIT License

    Language Server Protocol for Ada

  • updated 11 months ago Other

    Small Library for Sodoku grid solving / finding

  • updated over 1 year ago Other

    Generic Ada Library for Algorithms and Containers

  • updated 2 months 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 over 2 years ago BSD 2-Clause "Sim...

    An Ada Library for UUID generation.

  • updated about 6 years ago Other

    Ada General Purpose Library -- Miscellaneous utilities

  • AZ3 AZ3 6
    star
    updated over 2 years ago MIT License

    Ada binding to the Z3 Theorem Prover

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

    Chests are bounded containers

  • updated 8 months ago GNU General Publi...

    Fully functional Hungarian Algorithm implementation in Ada

  • NBAda NBAda 11
    star
    updated about 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 about 4 years ago MIT License

    Simple blockchain in Ada

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

    Simple Layer 3 Protocol

  • updated about 6 years ago

    Christoph Karl Walter Grein's Smart Pointers

Bindings

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

    Ada interface to the readline library

  • updated about 2 years ago

    Boehm GC interface library for gcc-Ada (GNAT)

  • updated over 13 years ago Other

    Ada bindings to the Lua language

  • updated 4 months ago Other

    Ada bindings for the GTK+ graphical library.

  • updated about 6 years ago Other

    Ada wrapper for the fast Stachniss' Hungarian solver

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

    Ada binding to Tcl/Tk, based on TASH

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

    Ada bindings of Turbo Pascal 7.0 units with GTKAda.

Build and Package

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

    cmake macros for simple gnat project inclusion

  • alire alire 267
    star
    updated about 1 month ago GNU General Publi...

    Command-line tool from the Alire project and supporting library

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

    The AURA Reference Implementation

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

    Ada language support for CMake.

  • updated 3 months 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 248
    star
    updated 3 months ago ISC License

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

Compilers

  • updated 7 months ago Apache License 2.0

    An Ada 2012 compiler in Scala

  • Byron Byron 57
    star
    updated about 4 years ago Other

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

  • updated 3 months ago

    LLVM based GNAT compiler

  • hac hac 102
    star
    updated 2 months ago

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

Compression

  • updated 9 months ago MIT License

    Ada binding for liblzma compression library

  • updated almost 2 years ago MIT License

    An Ada 2012 library for document container files

  • updated 3 months ago

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

Cryptography

  • updated about 6 years ago Other

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

  • updated 4 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 over 2 years ago MIT No Attribution

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

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

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

  • updated almost 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 about 6 years ago ISC License

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

  • updated about 6 years ago Other

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

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

    SPARK 2014 re-implementation of the TweetNaCl crypto library

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

    SPARK TOTP library

  • updated over 1 year ago MIT License

    xxhash in ada

Database

  • updated 5 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 368
    star
    updated 4 months ago Apache License 2.0

    Context-based code search tool

Editors and extensions

  • updated almost 5 years ago

    Basic syntax highlighting for Ada and GPR

  • updated about 9 years ago

    TextMate support for Ada

  • updated 2 months ago GNU General Publi...

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated 2 months ago

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

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

Encryption

  • updated 5 months ago Apache License 2.0

    Ada Keystore - protect your sensitive data with secure storage

Format Readers and Writers

  • updated 4 months ago

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

  • updated 10 months ago

    Implementation of Midi / MidiFile reading and writing

  • updated 3 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 6 months ago

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

  • gid gid 15
    star
    updated 3 months ago

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

  • updated almost 3 years ago

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

  • updated almost 2 years ago Apache License 2.0

    An Ada 2012 library for parsing JSON

  • jwx jwx 17
    star
    updated over 3 years ago GNU Affero Genera...

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

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

    Matreshka Project

  • updated over 1 year ago MIT License

    The Google Protocol Buffers implementation in Ada

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

    Formally verified, bounded-stack XML library

  • updated 7 months ago Other

    The XML/Ada toolkit.

  • 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

Frameworks components

  • updated almost 2 years ago GNU Affero Genera...
  • updated 3 months ago Apache License 2.0

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

  • updated about 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 3 months ago Other

    GNAT Components Collection – Core packages

  • updated 5 months ago Other

    GNAT Components Collection – Database packages

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

    Framework for platform-independent SPARK components

  • updated almost 2 years ago ISC License

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

Games

  • updated over 1 year ago Other

    TOML parser for Ada

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

  • 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 ASFML 26
    star
    updated 28 days ago Other

    Ada binding to the SFML library

  • updated 11 months ago MIT License

    Bingo application in GTKAda

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

    A Button Mania game written in Ada

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

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

  • updated 7 months ago GNU General Publi...

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

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

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

    A tictactoe game written and proven in SPARK

  • updated 6 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 4 months ago
  • updated over 10 years ago ISC License

    An Ada binding for the OpenCL host API

Generation

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

    Generator of JUnit-compatible XML reports in Ada

  • updated 9 months ago Other

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

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

    An Ada-oriented GUI

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

    Ada WASM Runtime and Bindings for Web API

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

    Web UI on Ada

  • updated 4 months ago Other

    Ada bindings for the GTK+ graphical library.

  • updated 2 months ago

    GWindows: GUI framework for MS Windows

  • lumen lumen 26
    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 26
    star
    updated 28 days ago Other

    Ada binding to the SFML library

  • updated about 3 years ago MIT License

    FreeType binding for Ada 2012

  • updated almost 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 5 months ago Other

    Ada Windows POSIX binding

Math

  • updated about 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 8 months ago

    Mathpaqs: a collection of mathematical packages in pure Ada

Networking

  • updated 11 months ago GNU General Publi...

    BSD sockets in Ada

  • updated 10 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 about 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 over 3 years ago

    Operating System development experiment in Ada

  • updated about 3 years ago Apache License 2.0

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

  • updated 3 months ago GNU General Publi...

    An OS built with the Ironclad kernel and GNU tools

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

    An attempt at a minimalistic and secure operating system.

  • updated about 2 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 almost 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 over 3 years ago MIT License

    Incremental analysis in Ada

  • updated 2 months ago Other

    Ada semantic analysis library.

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

    An Ada 2012 implementation of the Rx methodology

Robotics

  • updated about 10 years ago Other

    Ada bindings for the player robotic platform

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

    Ada client library for ROS2/RCL

Runtimes

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

    Ada WASM Runtime and Bindings for Web API

  • updated 29 days ago Other

    Source repository for the GNAT Bare Metal BSPs

  • updated 4 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 about 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 over 8 years ago

    Ada bindings for libsoundio

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

    Ada 2012 bindings for libcanberra

  • updated over 1 year ago ISC License

    Ada bindings to OpenAL

  • updated almost 2 years ago Apache License 2.0

    Ada 2012 bindings for the Opus audio codec.

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

    Yet Another Static Site (Generator)

System Modeling

  • updated over 8 years ago

    A fuzzy inference system library for Ada

  • updated 7 months ago GNU Lesser Genera...

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

Terminal User Interface

  • updated about 4 years ago

    Advanced UNIX Terminal UI Ada Binding Package

Testing

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

    Behavior Driven Development in Ada

  • updated about 1 year ago

    Supports functional testing using Tcl scripts.

UML

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

    Ada-tailored UML Modeling Language

  • updated 9 months ago GNU General Publi...

    ColdFrame generates Ada framework code and documentation from UML models.

Verification

  • updated 4 months ago Other

    The Ada Conformity Assessment Test Suite, customised for GCC.

  • updated 4 months ago

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

  • updated 2 months ago

    GNATcoverage: Coverage Analysis Tool

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

WEB

  • updated 5 months ago Apache License 2.0

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

  • updated 5 months ago Apache License 2.0

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

  • updated 9 months ago Apache License 2.0

    Ada EL - Expression Language Library (JSR245)

  • updated 9 months ago Apache License 2.0

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

  • updated 9 months ago Apache License 2.0

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

  • updated 5 months ago Apache License 2.0

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

  • aws aws 123
    star
    updated 3 months ago Other

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

  • updated 8 months ago Apache License 2.0

    Dynamo Ada Application Code Generator

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

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

    Matreshka Project

  • updated 9 months 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 about 4 years ago GNU Lesser Genera...

    Ada bindings for the Microsoft Win32 Api

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

    Ada bindings for the Microsft WinRT Api

  • updated 5 months ago

    Ada API to the Windows library