Pinned Repositories
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada-202x-WG9-Informal-Review
This is the place for WG 9 members to submit informal comments on the 202x source document. (This is not the formal ballot that WG 9 will hold later in the process.)
ada-enet
Ada Embedded Network Stack
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
learn
Sources for learn.adacore.com
LmcpGen
Project to auto-create libraries adhering to the LMCP specification
OpenUxAS
Project for multi-UAV cooperative decision making
Platinum_Reusable_Stack
RC_Car_Demo
An embedded Ada/SPARK demo
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
pat-rogers's Repositories
pat-rogers/Ada-202x-WG9-Informal-Review
This is the place for WG 9 members to submit informal comments on the 202x source document. (This is not the formal ballot that WG 9 will hold later in the process.)
pat-rogers/ada-enet
Ada Embedded Network Stack
pat-rogers/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
pat-rogers/learn
Sources for learn.adacore.com
pat-rogers/LmcpGen
Project to auto-create libraries adhering to the LMCP specification
pat-rogers/OpenUxAS
Project for multi-UAV cooperative decision making
pat-rogers/Platinum_Reusable_Stack
pat-rogers/RC_Car_Demo
An embedded Ada/SPARK demo
pat-rogers/svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.