A process for Ada/SPARK software to meet ISO 26262
☆28Jul 8, 2025Updated 7 months ago
Alternatives and similar repositories for spark-process
Users that are interested in spark-process are comparing it to the libraries listed below
Sorting:
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- smk, the smart make☆12Dec 16, 2024Updated last year
- An Ada implementation of James Munns' BBQueue☆11Oct 17, 2025Updated 4 months ago
- ☆18Jan 26, 2026Updated last month
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆63May 16, 2020Updated 5 years ago
- ☆20Updated this week
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- Script to automate the installation of the GNAT Community Installers☆18Nov 13, 2019Updated 6 years ago
- ☆25Feb 18, 2026Updated last week
- A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including …☆20Apr 22, 2025Updated 10 months ago
- A C# library for reading and writing reqif documents☆31Feb 20, 2026Updated last week
- Community index for the Alire project☆60Feb 14, 2026Updated 2 weeks ago
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆122Jan 7, 2026Updated last month
- Ada grammar for tree-sitter☆26Dec 16, 2025Updated 2 months ago
- A cryptographic library in SPARK 2014☆28Jan 26, 2021Updated 5 years ago
- Lightweight Open BMW Software Traceability Evidence Report☆38Feb 22, 2026Updated last week
- ☆13Jul 14, 2025Updated 7 months ago
- Collection of basic math routines in Ada☆27Oct 31, 2022Updated 3 years ago
- TOML parser for Ada☆36Jul 16, 2025Updated 7 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- ☆14Jan 16, 2026Updated last month
- Ada examples for the Raspberry Pi Pico☆39Aug 4, 2025Updated 6 months ago
- This repository collects proposals to enhance Schematron beyond the ISO specification☆10Feb 8, 2022Updated 4 years ago
- ☆10Jun 16, 2021Updated 4 years ago
- A startup code generator for embedded projects☆32Jan 9, 2026Updated last month
- Language creation framework.☆90Updated this week
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- A Multipath TCP python support library 🐍☆10Feb 5, 2023Updated 3 years ago
- Generic Ada Library for Algorithms and Containers☆34Nov 5, 2024Updated last year
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- SHA-3 and other Keccak related algorithms in SPARK/Ada.☆37Oct 19, 2023Updated 2 years ago
- An Ada 2012 package to parse command line arguments and options☆12Apr 3, 2022Updated 3 years ago
- ☆10Oct 19, 2022Updated 3 years ago
- XML Calabash 3 is an implementation of the XProc 3.0 XML pipeline language.☆11Oct 24, 2024Updated last year
- A development environment for Texas Instruments Tiva C Series microcontrollers using Docker and Visual Studio Code☆11May 14, 2024Updated last year
- ☆13Feb 17, 2026Updated last week
- Code written by Eric Lemmon. Posted on the NIST website. But now in JavaScript, the best EOS for natural gases straight from the browser.☆12Nov 2, 2024Updated last year