Alternatives and similar repositories for Alice

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

• alire-project / clic

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

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• 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
• reznikmm / matreshka_archive

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

  View on GitHub
  Analysis and manipulation of Ada software based on concrete syntax
  ☆26Dec 11, 2025Updated 2 months ago
• zertovitch / globe-3d

  View on GitHub
  GLOBE_3D: a real-time 3D Engine written in Ada
  ☆19Apr 18, 2025Updated 9 months ago
• pyjarrett / trendy_test

  View on GitHub
  Ada Unit Testing Library
  ☆10Aug 3, 2025Updated 6 months ago
• Adalog-fr / Adacontrol

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

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• simonjwright / ACATS

  View on GitHub
  The Ada Conformity Assessment Test Suite, customised for GCC.
  ☆12Aug 1, 2024Updated last year
• JeremyGrosser / notcursesada

  View on GitHub
  Ada bindings for the notcurses text user interface library
  ☆13Mar 6, 2023Updated 2 years ago
• Componolit / gneiss

  View on GitHub
  Framework for platform-independent SPARK components
  ☆24Aug 28, 2020Updated 5 years ago
• AJ-Ianozi / Cashe

  View on GitHub
  A Money library for Ada
  ☆23Aug 23, 2023Updated 2 years ago
• yet-another-static-site-generator / yass

  View on GitHub
  Yet Another Static Site (Generator)
  ☆26Sep 5, 2025Updated 5 months ago
• zertovitch / zip-ada

  View on GitHub
  Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
  ☆32Feb 2, 2026Updated last week
• gabriele-galeotti / SweetAda

  View on GitHub
  Ada-language framework
  ☆49Updated this week
• pmderodat / ada-toml

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

  View on GitHub
  Tooling for analysis and manipulation of Ada software
  ☆35Oct 18, 2024Updated last year
• HonkiTonk / Honki-Tonks-Zivilisationen

  View on GitHub
  Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
  ☆21Jan 21, 2026Updated 3 weeks ago
• AdaCore / aunit

  View on GitHub
  ☆11Feb 4, 2026Updated last week
• HeisenbugLtd / spat

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

  View on GitHub
  High level string and text processing library
  ☆60Sep 1, 2025Updated 5 months ago
• SMerrony / dashera

  View on GitHub
  DasherA is a Data General DASHER D200/D210 terminal emulator
  ☆37May 20, 2024Updated last year
• stcarrez / ada-util

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

  View on GitHub
  Ada binding and tools for ROS2 - workspace overlay and documentation
  ☆24Sep 19, 2024Updated last year
• Ada-Audio / audio_wavefiles

  View on GitHub
  Ada Wavefile Library
  ☆19Dec 14, 2022Updated 3 years 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
• Ada-France / aflex

  View on GitHub
  Aflex the Ada fast lexical analyser generator
  ☆18Jun 22, 2025Updated 7 months ago
• ellamosi / libgade

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

  View on GitHub
  Standard Ada library specification as defined in Reference Manual
  ☆24Aug 29, 2021Updated 4 years ago
• AdaCore / gnatcoll-bindings

  View on GitHub
  GNAT Components Collection – Bindings to C libraries
  ☆16Jan 19, 2026Updated 3 weeks ago
• mhatzl / spark_unbound

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

  View on GitHub
  raspberry ada library
  ☆11Jul 7, 2019Updated 6 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
• rocher / AdaML

  View on GitHub
  Ada-tailored UML Modeling Language
  ☆11May 14, 2023Updated 2 years ago
• onox / json-ada

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

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

  View on GitHub
  ☆13Feb 4, 2026Updated last week