Alternatives and similar repositories for Ada-SPARK-Crate-Of-The-Year

Users that are interested in Ada-SPARK-Crate-Of-The-Year are comparing it to the libraries listed below

• mhatzl / spark_unbound

  View on GitHub
  Unbound data structures in Ada-Spark.
  ☆13Feb 6, 2022Updated 4 years ago
• AdaCore / gnatcoll-bindings

  View on GitHub
  GNAT Components Collection – Bindings to C libraries
  ☆16Updated this week
• damaki / libkeccak

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

  View on GitHub
  G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry P…
  ☆24Oct 16, 2025Updated 4 months ago
• ellamosi / libgade

  View on GitHub
  A GameBoy emulation library in Ada
  ☆28Nov 28, 2020Updated 5 years ago
• alire-project / clic

  View on GitHub
  Command Line Interface Components
  ☆14Feb 17, 2024Updated last year
• jrmarino / AdaBase

  View on GitHub
  Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
  ☆35Oct 16, 2022Updated 3 years ago
• AdaCore / gnat_community_install_script

  View on GitHub
  Script to automate the installation of the GNAT Community Installers
  ☆18Nov 13, 2019Updated 6 years ago
• HeisenbugLtd / spat

  View on GitHub
  SPARK Proof Analysis Tool
  ☆17Oct 19, 2020Updated 5 years ago
• pyjarrett / trendy_test

  View on GitHub
  Ada Unit Testing Library
  ☆10Aug 3, 2025Updated 6 months ago
• ada-actions / toolchain

  View on GitHub
  GitHub action to setup an Ada/SPARK dev environment
  ☆21Mar 11, 2022Updated 3 years ago
• AdaCore / cuda

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• annexi-strayline / AURA

  View on GitHub
  The AURA Reference Implementation
  ☆24Jul 16, 2025Updated 7 months ago
• SMerrony / dashera

  View on GitHub
  DasherA is a Data General DASHER D200/D210 terminal emulator
  ☆37May 20, 2024Updated last year
• reznikmm / aarch64-alire-index

  View on GitHub
  Alire port to aarch64
  ☆15Aug 21, 2024Updated last year
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Updated this week
• alire-project / ada_spark_workflow

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

  View on GitHub
  A software bridge between certain popular Daikin™ HVAC units and MQTT.
  ☆14May 6, 2022Updated 3 years ago
• charlie5 / aShell

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

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• RavSS / HAVK

  View on GitHub
  An attempt at a minimalistic and secure operating system.
  ☆27May 28, 2021Updated 4 years ago
• Ada-Rapporteur-Group / User-Community-Input

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

  View on GitHub
  “Quite OK Image” Ada implementation
  ☆15Apr 1, 2022Updated 3 years ago
• gabriele-galeotti / SweetAda

  View on GitHub
  Ada-language framework
  ☆49Feb 9, 2026Updated last week
• pchapin / augusta

  View on GitHub
  A compiler for an Ada-like language
  ☆32May 5, 2025Updated 9 months ago
• LionelDraghi / bbt

  View on GitHub
  Simple to use cross-platform BDD driver for black box testing
  ☆18Feb 3, 2026Updated 2 weeks ago
• TNO / Rejuvenation-Ada

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

  View on GitHub
  Libadalang-based tools
  ☆21Feb 10, 2026Updated last week
• TamaMcGlinn / AdaBots

  View on GitHub
  Learn Ada by programming Minecraft robots!
  ☆19Jan 13, 2026Updated last month
• OneWingedShark / Byron

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

  View on GitHub
  Aflex the Ada fast lexical analyser generator
  ☆18Jun 22, 2025Updated 7 months ago
• reznikmm / ada-howto

  View on GitHub
  Collection of How-to documents for Ada
  ☆36Jun 1, 2021Updated 4 years ago
• alire-project / alire-index

  View on GitHub
  Community index for the Alire project
  ☆60Updated this week
• jhumphry / parse_args

  View on GitHub
  An Ada 2012 package to parse command line arguments and options
  ☆12Apr 3, 2022Updated 3 years ago
• jrmarino / zstd-ada

  View on GitHub
  Zstandard for Ada - Fast real-time compression algorithm
  ☆16Feb 3, 2023Updated 3 years ago
• AdaCore / markdown

  View on GitHub
  Markdown parser
  ☆11Nov 28, 2025Updated 2 months ago
• onox / json-ada

  View on GitHub
  An Ada 2012 library for parsing JSON
  ☆45Jul 28, 2024Updated last year
• AdaCore / gnatformat

  View on GitHub
  ☆13Feb 4, 2026Updated last week
• Fabien-Chouteau / bbqueue-spark

  View on GitHub
  An Ada implementation of James Munns' BBQueue
  ☆11Oct 17, 2025Updated 3 months ago