# Interest In Ada/SPARK?

**URL:** <https://genode.discourse.group/t/interest-in-ada-spark/132>\
**Category:** Developer's Corner\
**Created:** [December 29, 2024, 3:52am UTC](https://genode.discourse.group/t/interest-in-ada-spark/132 "2024-12-29T03:52:12Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![jjkarcher](https://avatars.discourse-cdn.com/v4/letter/j/a9adbd/32.png) [@jjkarcher](https://genode.discourse.group/u/jjkarcher)\
**Post date:** [December 29, 2024, 3:52am UTC](https://genode.discourse.group/t/interest-in-ada-spark/132/1 "2024-12-29T03:52:12Z")

</div>

With all the talk about exotic new languages, I just wanted to see if there is any interest out there for an “old”, “boring” language like Ada/SPARK on Genode. (SPARK is an Ada dialect focused on formal verification.)

A few years ago, there was some very interesting work (and Genodians articles) in this area (RIP Spunky 😢 ). The work at Genode Labs was discontinued, but I still think there is a lot of potential there.

---

<div class="post-metadata">

**Author:** ![vieta](https://dub1.discourse-cdn.com/flex006/user_avatar/genode.discourse.group/vieta/32/89_2.png) [@vieta](https://genode.discourse.group/u/vieta)\
**Post date:** [September 28, 2025, 9:58pm UTC](https://genode.discourse.group/t/interest-in-ada-spark/132/2 "2025-09-28T21:58:28Z")

</div>

The concept of memory safety and performance of Ada and Spark is very interesting where it is competing with rust: [Should I choose Ada, SPARK, or Rust over C/C++? | The AdaCore Blog](https://blog.adacore.com/should-i-choose-ada-spark-or-rust-over-c-c) . I do not think that much people on here are very much familiar with Ada especially not Spark. A nice approach would be a declarative workspace where Spark can show it’s potential of mathematical proofs to avoid run-time errors.