Alternatives and similar repositories for AdaBase

Users that are interested in AdaBase are comparing it to the libraries listed below

• charlie5 / lace-prototype-deprecated

  View on GitHub
  A set of Ada components to allow 3D simulations, games and GUI's in Ada.
  ☆14Jan 22, 2022Updated 4 years ago
• alire-project / clic

  View on GitHub
  Command Line Interface Components
  ☆14Feb 17, 2024Updated last year
• AdaCore / Ada-SPARK-Crate-Of-The-Year

  View on GitHub
  ☆22Nov 18, 2025Updated 2 months ago
• charlie5 / aShell

  View on GitHub
  A component to aid in writing shell-like applications in Ada.
  ☆16Nov 4, 2025Updated 3 months ago
• pyjarrett / trendy_test

  View on GitHub
  Ada Unit Testing Library
  ☆10Aug 3, 2025Updated 6 months ago
• simonjwright / ews

  View on GitHub
  The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …
  ☆22Aug 19, 2022Updated 3 years ago
• OneWingedShark / Byron

  View on GitHub
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆63May 16, 2020Updated 5 years ago
• joakim-strandberg / aida_2012

  View on GitHub
  ☆15Feb 17, 2019Updated 6 years ago
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Feb 5, 2026Updated last week
• BrentSeidel / Ada-Lisp

  View on GitHub
  Tiny Lisp Interpreter Written in Ada
  ☆31Dec 14, 2025Updated 2 months ago
• pmderodat / ada-toml

  View on GitHub
  TOML parser for Ada
  ☆36Jul 16, 2025Updated 6 months ago
• Componolit / ada-runtime

  View on GitHub
  ☆34Aug 2, 2022Updated 3 years ago
• stcarrez / ada-util

  View on GitHub
  Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
  ☆79Dec 16, 2025Updated last month
• AdaCore / gprbuild

  View on GitHub
  GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
  ☆79Jan 22, 2026Updated 3 weeks ago
• AdaCore / libadalang-tools

  View on GitHub
  Libadalang-based tools
  ☆21Updated this week
• stcarrez / dynamo

  View on GitHub
  Dynamo Ada Application Code Generator
  ☆17Jan 4, 2026Updated last month
• TNO / Rejuvenation-Ada

  View on GitHub
  Analysis and manipulation of Ada software based on concrete syntax
  ☆26Dec 11, 2025Updated 2 months ago
• reznikmm / matreshka_archive

  View on GitHub
  Matreshka is Ada framework to develop information systems
  ☆26Oct 1, 2022Updated 3 years ago
• godunko / adawebpack

  View on GitHub
  Ada WASM Runtime and Bindings for Web API
  ☆75Feb 16, 2025Updated 11 months ago
• alire-project / ada_spark_workflow

  View on GitHub
  A demo of best practices for open-source Ada/SPARK development
  ☆40Oct 26, 2024Updated last year
• stcarrez / ada-awa

  View on GitHub
  Ada Web Application - Framework to build high performance secure web applications
  ☆106Jan 4, 2026Updated last month
• stcarrez / swagger-ada

  View on GitHub
  Ada support for OpenAPI code generator
  ☆30Nov 10, 2025Updated 3 months ago
• ytomino / drake

  View on GitHub
  Drake: A Runtime Library for gcc-Ada
  ☆43May 2, 2020Updated 5 years ago
• stcarrez / ada-wiki

  View on GitHub
  Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
  ☆20Dec 16, 2025Updated last month
• Ada-Rapporteur-Group / User-Community-Input

  View on GitHub
  Ada User Community Input Working Group - Github Mirror Prototype
  ☆32Oct 9, 2024Updated last year
• damaki / libkeccak

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆36Oct 19, 2023Updated 2 years ago
• reznikmm / aarch64-alire-index

  View on GitHub
  Alire port to aarch64
  ☆15Aug 21, 2024Updated last year
• mosteo / rxada

  View on GitHub
  An Ada 2012 implementation of the Rx methodology
  ☆24Mar 6, 2024Updated last year
• Ada-Audio / audio_wavefiles

  View on GitHub
  Ada Wavefile Library
  ☆19Dec 14, 2022Updated 3 years ago
• Adalog-fr / Adacontrol

  View on GitHub
  An Ada controller for static analysis and rules checking
  ☆17Mar 4, 2024Updated last year
• yaml / AdaYaml

  View on GitHub
  experimental YAML 1.3 implementation in Ada
  ☆44Jan 20, 2022Updated 4 years ago
• Componolit / SXML

  View on GitHub
  Formally verified, bounded-stack XML library
  ☆24May 26, 2020Updated 5 years ago
• ellamosi / libgade

  View on GitHub
  A GameBoy emulation library in Ada
  ☆28Nov 28, 2020Updated 5 years ago
• Componolit / Cappulada

  View on GitHub
  [DEPRECATED] Generate Ada bindings to C++ code
  ☆16Dec 9, 2019Updated 6 years ago
• michael-hardeman / gdnative_ada

  View on GitHub
  godot nativescript bindings in ada
  ☆15Nov 10, 2020Updated 5 years ago
• AdaCore / gnatcoll-core

  View on GitHub
  GNAT Components Collection – Core packages
  ☆52Jan 29, 2026Updated 2 weeks ago
• annexi-strayline / Curses

  View on GitHub
  Advanced UNIX Terminal UI Ada Binding Package
  ☆17May 1, 2020Updated 5 years ago
• zertovitch / hac

  View on GitHub
  HAC Ada Compiler - a small, quick Ada compiler fully in Ada
  ☆158Jan 31, 2026Updated 2 weeks ago
• jrcarter / PragmARC

  View on GitHub
  The PragmAda Reusable Components
  ☆35Jan 9, 2026Updated last month