#
ada-spark
Here are 9 public repositories matching this topic...
Adventures for Learning and Inspiring Coding Excellence
project-euler advent-of-code codingame ada coding-challenges adventures ada-language ada-spark coding-excellence
-
Updated
Sep 16, 2023 - Ada
Minimalist cooperative operating system supporting multiple tasks with MMU protection
embedded operating-system ada sparc mmu microkernel spark-ada cooperative-multitasking moth separation-kernel leon3 spark2014 ada-spark
-
Updated
Aug 6, 2021 - C
đźš— ADA Spark Car' Assistant Prototype for Formal Approches to software Engineer at Napier University
-
Updated
May 6, 2022 - Ada
A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only.
-
Updated
Sep 27, 2023 - Ada
-
Updated
May 8, 2020 - Ada
Improve this page
Add a description, image, and links to the ada-spark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ada-spark topic, visit your repo's landing page and select "manage topics."