Rust binding for gpr
☆17Aug 8, 2025Updated 6 months ago
Alternatives and similar repositories for gpr-rust
Users that are interested in gpr-rust are comparing it to the libraries listed below
Sorting:
- SPARK Proof Analysis Tool☆17Oct 19, 2020Updated 5 years ago
- A cryptographic library in SPARK 2014☆28Jan 26, 2021Updated 5 years ago
- GitHub action to setup an Ada/SPARK dev environment☆21Mar 11, 2022Updated 3 years ago
- https://github.com/lynnpepin/reso made in rust☆15Feb 23, 2022Updated 4 years ago
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- A benchmark of Rust compression libraries☆10Nov 19, 2020Updated 5 years ago
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- ☆11Jan 28, 2022Updated 4 years ago
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- Learn how to create your own 32-bit system from scratch.☆14Feb 15, 2022Updated 4 years ago
- Alire port to aarch64☆15Aug 21, 2024Updated last year
- Collection of basic math routines in Ada☆27Oct 31, 2022Updated 3 years ago
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year
- ☆34Aug 2, 2022Updated 3 years ago
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- A demo of best practices for open-source Ada/SPARK development☆40Oct 26, 2024Updated last year
- Ada binding to the SFML library☆40Dec 8, 2025Updated 2 months ago
- Platform to submit RFCs for the Ada & SPARK languages☆69Updated this week
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆122Jan 7, 2026Updated last month
- A rust library for reusing heap allocations☆24Feb 9, 2020Updated 6 years ago
- An Ada 2012 implementation of the Rx methodology☆24Mar 6, 2024Updated last year
- ☆18Apr 25, 2023Updated 2 years ago
- 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
- OpenGL GUI toolkit library for Ada☆28Feb 15, 2013Updated 13 years ago
- rust in trees☆27Aug 20, 2022Updated 3 years ago
- A GameBoy emulation library in Ada☆29Updated this week
- i.MX8MPlus System on Module☆31Mar 11, 2025Updated 11 months ago
- XSD/WSDL client code generator for Rust☆57Jan 24, 2026Updated last month
- Embeddable Forth interpreter written in Ada☆28Sep 20, 2015Updated 10 years ago
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 5 years ago
- Community index for the Alire project☆60Updated this week
- Read and save MSFS aircraft state and apply to next flight☆10Nov 11, 2025Updated 3 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Oct 22, 2024Updated last year
- A library of drivers for LXI instruments☆10Aug 30, 2024Updated last year
- Tiny Lisp Interpreter Written in Ada☆31Dec 14, 2025Updated 2 months ago
- An Ada binding generator from SVD descriptions for bare board ARM devices.☆70Feb 13, 2025Updated last year
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 3 months ago
- The A2O core was a follow-on to A2I, written in Verilog, and supported a lower thread count than A2I, but higher performance per thread, …☆53May 16, 2025Updated 9 months ago