# Projects **URL:** https://forum.ada-lang.io/c/projects/9.md [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) --- ## [About the Projects category](https://forum.ada-lang.io/t/about-the-projects-category/4182)
**Author:** [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Replies:** 0\ **Last updated:** [February 11, 2026, 7:46pm UTC](https://forum.ada-lang.io/t/about-the-projects-category/4182 "2026-02-11T19:46:40Z")
Ada User Society sponsored projects Anyone may propose a new project in the Ideas subcategory. Only Ada User Society committee members may create new topics for active projects, award nominations, and award winners. --- ## [Would it be possible to make a multithreaded runtime like Go goroutines or Rust’s Tokio with Ravenscar?](https://forum.ada-lang.io/t/would-it-be-possible-to-make-a-multithreaded-runtime-like-go-goroutines-or-rust-s-tokio-with-ravenscar/4604)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 41\ **Last updated:** [September 22, 2026, 7:33pm UTC](https://forum.ada-lang.io/t/would-it-be-possible-to-make-a-multithreaded-runtime-like-go-goroutines-or-rust-s-tokio-with-ravenscar/4604 "2026-09-22T19:33:17Z")
I just found out about ravenscar recently and it seems VERY interesting. In rust and go, I’ve often run into hard to debug concurrency bugs and deadlocks, so I’m curious if it would be possible to build a multithreaded … --- ## [Documenting the technical aspects and development of a GNAT/RTS](https://forum.ada-lang.io/t/documenting-the-technical-aspects-and-development-of-a-gnat-rts/4522)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 3\ **Last updated:** [September 3, 2026, 9:08am UTC](https://forum.ada-lang.io/t/documenting-the-technical-aspects-and-development-of-a-gnat-rts/4522 "2026-09-03T09:08:51Z")
Documenting the technical aspects and development of a GNAT/RTS The Ada Awards Committee has nominated for an award the task of documenting the technical aspects and development of the Ada RTS. This proposal has been mot… --- ## [Creating a Compiler-Independent Socket Library](https://forum.ada-lang.io/t/creating-a-compiler-independent-socket-library/4525)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 5\ **Last updated:** [July 21, 2026, 8:16am UTC](https://forum.ada-lang.io/t/creating-a-compiler-independent-socket-library/4525 "2026-07-21T08:16:33Z")
Creating a Compiler-Independent Socket Library The Ada Awards Committee has nominated for an award the task of creating a compiler-independent socket library named Sockets. Motivation Portability is an important aspect … --- ## [Add Ada support for Zephyr RTOS](https://forum.ada-lang.io/t/add-ada-support-for-zephyr-rtos/4206)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 3\ **Last updated:** [July 2, 2026, 4:19pm UTC](https://forum.ada-lang.io/t/add-ada-support-for-zephyr-rtos/4206 "2026-07-02T16:19:52Z")
Dear Ada Awards Committee and community, I would like to propose a project to add Ada/SPARK support to the Zephyr Real-Time Operating System. I do not want to be the person that takes on this task. What is Zephyr RTOS? … --- ## [Packaging and Examples for the Ada 2022 Parallel features implementation](https://forum.ada-lang.io/t/packaging-and-examples-for-the-ada-2022-parallel-features-implementation/4526)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [June 28, 2026, 10:15am UTC](https://forum.ada-lang.io/t/packaging-and-examples-for-the-ada-2022-parallel-features-implementation/4526 "2026-06-28T10:15:34Z")
Packaging and Examples for the Ada 2022 Parallel features implementation The Ada User Awards committee has nominated for an award the task of making the new implementation of the Ada 2022 parallel features (parallel loop… --- ## [Creation of a GNAT Ada Runtime for Zephyr RTOS](https://forum.ada-lang.io/t/creation-of-a-gnat-ada-runtime-for-zephyr-rtos/4524)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [June 28, 2026, 10:08am UTC](https://forum.ada-lang.io/t/creation-of-a-gnat-ada-runtime-for-zephyr-rtos/4524 "2026-06-28T10:08:38Z")
Creation of a GNAT Ada Runtime for Zephyr RTOS The Ada Awards Committee has nominated for an award the development of an Ada/GNAT RTS for the Real-Time Zephyr Operating System. Previous work Zephyr\_Ada, this should ser… --- ## [Creation of a GNAT Ada Runtime for WASM](https://forum.ada-lang.io/t/creation-of-a-gnat-ada-runtime-for-wasm/4523)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [June 28, 2026, 10:07am UTC](https://forum.ada-lang.io/t/creation-of-a-gnat-ada-runtime-for-wasm/4523 "2026-06-28T10:07:13Z")
Creation of a GNAT Ada Runtime for WASM The Ada Awards Committee has nominated for an award the task of creating an Ada/GNAT runtime for WebAssembly (WASM). Pointers and past work WASM RTS, this should serve as the bas… --- ## [Decentralized social network](https://forum.ada-lang.io/t/decentralized-social-network/4521)
**Author:** [@drozsas](https://forum.ada-lang.io/u/drozsas)\ **Replies:** 11\ **Last updated:** [June 26, 2026, 7:46pm UTC](https://forum.ada-lang.io/t/decentralized-social-network/4521 "2026-06-26T19:46:51Z")
Hello, people! I’m writing a decentralized and federated \[anti-\]social network with Ada. Connections (both client-server and server-server) are supposed to happen through SSH – the server-side application is to be exec… --- ## [Ada User Awards Guidelines](https://forum.ada-lang.io/t/ada-user-awards-guidelines/4519)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [June 26, 2026, 11:52am UTC](https://forum.ada-lang.io/t/ada-user-awards-guidelines/4519 "2026-06-26T11:52:45Z")
Ada User Awards Authors: Fernando Oleo Blanco, Tucker Taft, Dirk Craeynest and Jeffrey R. Carter Version: 1.0 Introduction and motivation As the nature of the Ada User Society (AUS) is to support the continued developm… --- ## [An embedded ecosystem for beginners](https://forum.ada-lang.io/t/an-embedded-ecosystem-for-beginners/4296)
**Author:** [@ThyMYthOS](https://forum.ada-lang.io/u/ThyMYthOS)\ **Replies:** 9\ **Last updated:** [September 20, 2026, 5:01pm UTC](https://forum.ada-lang.io/t/an-embedded-ecosystem-for-beginners/4296 "2026-09-20T17:01:56Z")
Summary The goal is to develop a cohesive, beginner-oriented ecosystem that replicates the “Arduino experience” with a safe, Ada-centric workflow. At its center is a simplified IDE—the Hub—which abstracts away the comple… --- ## [GNAT-LLVM in Alire and improved WASM support](https://forum.ada-lang.io/t/gnat-llvm-in-alire-and-improved-wasm-support/4269)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 5\ **Last updated:** [June 17, 2026, 1:12pm UTC](https://forum.ada-lang.io/t/gnat-llvm-in-alire-and-improved-wasm-support/4269 "2026-06-17T13:12:40Z")
Dear committee, I would like to propose a project to encourage GNAT-LLVM to be upstreamed to Alire, and update AdaWebPack (RTS for WASM). I am not willing to take upon this task. What is GNAT-LLVM and AdaWebPack? GNAT-… --- ## [Porting the GNAT RTS](https://forum.ada-lang.io/t/porting-the-gnat-rts/4397)
**Author:** [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Replies:** 8\ **Last updated:** [May 11, 2026, 2:14pm UTC](https://forum.ada-lang.io/t/porting-the-gnat-rts/4397 "2026-05-11T14:14:57Z")
I decided to split this into it’s own thread. I’ve just taken a look, it’s changed a lot since I last looked, around gcc-4.x The Makefile.rtl is back and is now where the target-name\ **Author:** [@saper](https://forum.ada-lang.io/u/saper)\ **Replies:** 26\ **Last updated:** [April 2, 2026, 9:03pm UTC](https://forum.ada-lang.io/t/more-power-to-gprbuild/4303 "2026-04-02T21:03:38Z") As somebody who just studies a whole Ada ecosystem I am learning a lot about GPRbuild and its language. I find this is a pretty interesting build system with features many other build systems do not have. Looking at ali… --- ## [Create a Compiler-Independent Implementation of Ada GUI](https://forum.ada-lang.io/t/create-a-compiler-independent-implementation-of-ada-gui/4261)
**Author:** [@JC001](https://forum.ada-lang.io/u/JC001)\ **Replies:** 0\ **Last updated:** [March 16, 2026, 12:25pm UTC](https://forum.ada-lang.io/t/create-a-compiler-independent-implementation-of-ada-gui/4261 "2026-03-16T12:25:35Z")
Dear Ada Awards Committee and community, I would like to propose a project to create a compiler-independent implementation of Ada GUI. I do not want to be the person who takes on this task. What is Ada GUI? Ada\_GUI is … --- ## [Visual compelling demonstrations to showcase parrallel features](https://forum.ada-lang.io/t/visual-compelling-demonstrations-to-showcase-parrallel-features/4249)
**Author:** [@LionelDraghi](https://forum.ada-lang.io/u/LionelDraghi)\ **Replies:** 5\ **Last updated:** [March 15, 2026, 7:33pm UTC](https://forum.ada-lang.io/t/visual-compelling-demonstrations-to-showcase-parrallel-features/4249 "2026-03-15T19:33:19Z")
Hello everyone, With the arrival of Ada 2022’s parallel features (parallel loops, blocks, and expressions) in gcc, it would be great to have visually compelling demonstrations to showcase their potential—both in terms o… --- ## [Basic indications and requirements for proposals](https://forum.ada-lang.io/t/basic-indications-and-requirements-for-proposals/4200)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [February 18, 2026, 7:28pm UTC](https://forum.ada-lang.io/t/basic-indications-and-requirements-for-proposals/4200 "2026-02-18T19:28:10Z")
Dear community, here is a basic set of indications in order to make a proposal that can be considered by the Ada User Awards for a potential prize. General requirements and indications You can make a proposal that you… --- ## [Ada on the Casio fx-CG50](https://forum.ada-lang.io/t/ada-on-the-casio-fx-cg50/4198)
**Author:** [@AdaOrbit](https://forum.ada-lang.io/u/AdaOrbit)\ **Replies:** 1\ **Last updated:** [February 16, 2026, 7:42pm UTC](https://forum.ada-lang.io/t/ada-on-the-casio-fx-cg50/4198 "2026-02-16T19:42:07Z")
What is the Casio fx-CG50? It’s a graphical calculator using the SuperH architecture with its own OS and syscalls. I had to buy one for school but currently it’s collecting dust in a closet and I can’t sell it due to a s…