Alternatives and similar repositories for Saatana

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

• HeisenbugLtd / spat

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

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

  View on GitHub
  ☆18Jan 26, 2026Updated 2 weeks ago
• Componolit / SXML

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

  View on GitHub
  Collection of basic math routines in Ada
  ☆27Oct 31, 2022Updated 3 years ago
• Componolit / gneiss

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

  View on GitHub
  JSON/JWK/JWS/JWT/Base64 library in SPARK
  ☆19Oct 12, 2020Updated 5 years ago
• zertovitch / mathpaqs

  View on GitHub
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆13Feb 6, 2026Updated last week
• Fabien-Chouteau / bbqueue-spark

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

  View on GitHub
  An attempt at a minimalistic and secure operating system.
  ☆27May 28, 2021Updated 4 years ago
• alire-project / alire-index

  View on GitHub
  Community index for the Alire project
  ☆60Updated this week
• alice-adventures / Alice

  View on GitHub
  Adventures for Learning and Inspiring Coding Excellence
  ☆14Aug 24, 2025Updated 5 months ago
• zertovitch / ada-pdf-writer

  View on GitHub
  Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
  ☆23Feb 3, 2026Updated last week
• TNO / Renaissance-Ada

  View on GitHub
  Tooling for analysis and manipulation of Ada software
  ☆35Oct 18, 2024Updated last year
• zertovitch / gid

  View on GitHub
  GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
  ☆27Jan 5, 2026Updated last month
• jrcarter / PragmARC

  View on GitHub
  The PragmAda Reusable Components
  ☆35Jan 9, 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
• stcarrez / dynamo

  View on GitHub
  Dynamo Ada Application Code Generator
  ☆17Jan 4, 2026Updated last month
• awslabs / LibMLKEM

  View on GitHub
  ☆23Sep 12, 2025Updated 5 months ago
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Feb 5, 2026Updated last week
• 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
• AdaCore / aunit

  View on GitHub
  ☆11Feb 4, 2026Updated last week
• mhatzl / spark_unbound

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

  View on GitHub
  GitHub action to setup an Ada/SPARK dev environment
  ☆21Mar 11, 2022Updated 3 years ago
• 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
• simonjwright / stack_usage

  View on GitHub
  Calculates the maximum stack depth required by GCC-compiled code
  ☆11Aug 28, 2024Updated last year
• AdaCore / RecordFlux

  View on GitHub
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Jan 7, 2026Updated last month
• annexi-strayline / Curses

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

  View on GitHub
  Garbage collection for Ada
  ☆12Jan 15, 2023Updated 3 years ago
• AdaCore / gnatcoverage

  View on GitHub
  GNATcoverage: Coverage Analysis Tool
  ☆46Updated this week
• reznikmm / ada-howto

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

  View on GitHub
  Command Line Interface Components
  ☆14Feb 17, 2024Updated last year
• AdaCore / gnatcoll-db

  View on GitHub
  GNAT Components Collection – Database packages
  ☆14Nov 28, 2025Updated 2 months ago
• reznikmm / matreshka_archive

  View on GitHub
  Matreshka is Ada framework to develop information systems
  ☆26Oct 1, 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 / Ada-SPARK-Crate-Of-The-Year

  View on GitHub
  ☆22Nov 18, 2025Updated 2 months ago
• AJ-Ianozi / Cashe

  View on GitHub
  A Money library for Ada
  ☆23Aug 23, 2023Updated 2 years ago
• alkhimey / Ada_Kernel_Module_Framework

  View on GitHub
  Framework for writing Linux kernel modules in Ada
  ☆30Sep 22, 2018Updated 7 years ago