Alternatives and similar repositories for gpr-rust

Users that are interested in gpr-rust are comparing it to the libraries listed below

• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆54Updated 4 years ago
• mhatzl / spark_unbound
  Unbound data structures in Ada-Spark.
  ☆13Updated 3 years ago
• pmderodat / ada-toml
  TOML parser for Ada
  ☆36Updated 4 months ago
• wduquette / molt
  Embeddable TCL Interpreter for Rust applications
  ☆116Updated 3 years ago
• Fabien-Chouteau / bbqueue-spark
  An Ada implementation of James Munns' BBQueue
  ☆11Updated last month
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆24Updated 5 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• AdaCore / langkit
  Language creation framework.
  ☆89Updated last week
• porglezomp / bitmatch
  A Rust crate that allows you to match, bind, and pack the individual bits of integers.
  ☆117Updated 5 years ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆84Updated 2 weeks ago
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆53Updated 4 years ago
• morbos / STM32
  ☆19Updated last year
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Updated 3 weeks ago
• mosteo / yeison
  A json-like data structure library in Ada
  ☆11Updated 8 months ago
• ada-actions / toolchain
  GitHub action to setup an Ada/SPARK dev environment
  ☆21Updated 3 years ago
• crate-ci / codegenrs
  Moving code-gen out of `build.rs`
  ☆20Updated this week
• AdaCore / bb-runtimes
  Source repository for the GNAT Bare Metal BSPs
  ☆68Updated last week
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆40Updated last year
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 3 years ago
• alire-project / ada_spark_workflow
  A demo of best practices for open-source Ada/SPARK development
  ☆40Updated last year
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated 5 months ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆23Updated 2 years ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 5 months ago
• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated 2 years ago
• auxoncorp / tnfilt
  ☆36Updated 3 years ago
• riscv-rust / e310x
  svd2rust generated interface to e310x peripherals
  ☆29Updated 3 weeks ago
• stcarrez / ada-keystore
  Ada Keystore - protect your sensitive data with secure storage
  ☆36Updated 2 weeks ago
• Fabien-Chouteau / qoi-spark
  “Quite OK Image” Ada implementation
  ☆15Updated 3 years ago
• probe-rs / probe-rs-rtt
  Library for interfacing with the RTT (Real-Time Transfer) debugging protocol over probe-rs
  ☆23Updated 4 years ago
• yaahc / jane-eyre
  A tracing aware eyre variant that captures SpanTraces and Backtraces and supports rich context for errors with warnings, suggestions, and…
  ☆28Updated 2 years ago