Pat Rogers's repositories
OpenUxAS
Project for multi-UAV cooperative decision making
Language:C++NOASSERTION000
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Language:AdaGPL-3.0000
learn
Sources for learn.adacore.com
Language:AdaCC-BY-4.0000
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Language:AdaBSD-3-Clause000
LmcpGen
Project to auto-create libraries adhering to the LMCP specification
Language:JavaNOASSERTION000
RC_Car_Demo
An embedded Ada/SPARK demo
Language:Ada000
Language:AdaNOASSERTION000
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.)
000
ada-enet
Ada Embedded Network Stack
Apache-2.0000