Alternatives and similar repositories for spat

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

• HeisenbugLtd / Saatana

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

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆36Oct 19, 2023Updated 2 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
• ada-actions / toolchain

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

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

  View on GitHub
  A cryptographic library in SPARK 2014
  ☆28Jan 26, 2021Updated 5 years ago
• AdaCore / RecordFlux

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

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

  View on GitHub
  ☆18Jan 26, 2026Updated 2 weeks ago
• TNO / Renaissance-Ada

  View on GitHub
  Tooling for analysis and manipulation of Ada software
  ☆35Oct 18, 2024Updated last year
• AdaCore / Ada-SPARK-Crate-Of-The-Year

  View on GitHub
  ☆22Nov 18, 2025Updated 2 months ago
• rod-chapman / SPARKNaCl

  View on GitHub
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆129Mar 17, 2025Updated 10 months ago
• jklmnn / gpr-rust

  View on GitHub
  Rust binding for gpr
  ☆17Aug 8, 2025Updated 6 months ago
• persan / zeromq-Ada

  View on GitHub
  Ada-bindings for 0mq
  ☆42Nov 17, 2025Updated 2 months ago
• RavSS / HAVK

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

  View on GitHub
  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
  ☆84May 14, 2021Updated 4 years ago
• AdaCore / ada-spark-rfcs

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

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

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

  View on GitHub
  Collection of basic math routines in Ada
  ☆27Oct 31, 2022Updated 3 years ago
• alire-project / alire-index

  View on GitHub
  Community index for the Alire project
  ☆60Updated this week
• stcarrez / ada-util

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

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

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

  View on GitHub
  Ada Wavefile Library
  ☆19Dec 14, 2022Updated 3 years ago
• AdaCore / cuda

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• 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
• Componolit / ada-runtime

  View on GitHub
  ☆34Aug 2, 2022Updated 3 years ago
• simonjwright / stack_usage

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

  View on GitHub
  An Ada implementation of James Munns' BBQueue
  ☆11Oct 17, 2025Updated 3 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
• cubesatlab / cubedos

  View on GitHub
  A flight software framework in SPARK/Ada
  ☆55Nov 17, 2025Updated 2 months ago
• annexi-strayline / Curses

  View on GitHub
  Advanced UNIX Terminal UI Ada Binding Package
  ☆17May 1, 2020Updated 5 years ago
• tofgarion / spark-by-example

  View on GitHub
  SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
  ☆163Aug 16, 2022Updated 3 years ago
• Roldak / AGC

  View on GitHub
  Garbage collection for Ada
  ☆12Jan 15, 2023Updated 3 years ago
• alice-adventures / Alice

  View on GitHub
  Adventures for Learning and Inspiring Coding Excellence
  ☆14Aug 24, 2025Updated 5 months ago
• 98devin / ada-gba-dev

  View on GitHub
  A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.
  ☆11Jul 24, 2023Updated 2 years ago