[38;5;12m                                                                                  [39m[38;2;255;187;0m[1m[4mAwesome Ada [0m[38;5;14m[1m[4m![0m[38;2;255;187;0m[1m[4mAwesome[0m[38;5;14m[1m[4m (https://awesome.re/badge.svg)[0m[38;2;255;187;0m[1m[4m (https://awesome.re)[0m



[48;5;235m[38;5;249m[49m[39m





[38;5;11m[1m▐[0m[38;5;12m [39m
[38;5;11m[1m▐[0m[38;5;12m [39m[38;5;12mAda is arguably the most {  } programming language.[39m
[38;5;11m[1m▐[0m[38;5;12m [39m[38;5;12mAda is alive and kicking![39m
[38;5;11m[1m▐[0m[38;5;12m [39m
[38;5;11m[1m▐[0m[38;5;12m [39m[38;5;12mLong live Ada/SPARK.[39m



[38;5;12mA curated list of awesome resources related to the Ada and SPARK programming language.      [39m

[38;2;255;187;0m[4mContents[0m



[38;5;12m1. [39m[38;5;14m[1mPresentation[0m[38;5;12m (#presentation)[39m
[38;5;12m2. [39m[38;5;14m[1mEducation[0m[38;5;12m (#education)[39m
[48;5;235m[38;5;249m1. **Entry Point** (#entry-point)[49m[39m[48;5;235m[38;5;249m  [49m[39m
[48;5;235m[38;5;249m2. **Tutorials** (#tutorials)[49m[39m[48;5;235m[38;5;249m      [49m[39m
[48;5;235m[38;5;249m3. **Online Books** (#online-books)[49m[39m
[48;5;235m[38;5;249m4. **Books** (#books)[49m[39m[48;5;235m[38;5;249m              [49m[39m
[48;5;235m[38;5;249m5. **Specialties** (#specialties)[49m[39m[48;5;235m[38;5;249m  [49m[39m
[48;5;235m[38;5;249m6. **Reference** (#reference)[49m[39m[48;5;235m[38;5;249m      [49m[39m
[38;5;12m3. [39m[38;5;14m[1mCommunity[0m[38;5;12m (#community)[39m
[48;5;235m[38;5;249m1. **Questions and Answers** (#questions-and-answers)[49m[39m
[48;5;235m[38;5;249m2. **News and Resources** (#news-and-resources)[49m[39m[48;5;235m[38;5;249m      [49m[39m
[48;5;235m[38;5;249m3. **Competition** (#competition)[49m[39m[48;5;235m[38;5;249m                    [49m[39m
[38;5;12m4. [39m[38;5;14m[1mCompilers[0m[38;5;12m (#compilers)[39m
[48;5;235m[38;5;249m1. **Open source** (#open-source)[49m[39m[48;5;235m[38;5;249m                             [49m[39m
[48;5;235m[38;5;249m2. **Commercial / Open source** (#commercial--open-source)[49m[39m[48;5;235m[38;5;249m    [49m[39m
[48;5;235m[38;5;249m3. **Commercial / Closed source** (#commercial--closed-source)[49m[39m
[48;5;235m[38;5;249m4. **Online** (#online)[49m[39m[48;5;235m[38;5;249m                                       [49m[39m
[38;5;12m5. [39m[38;5;14m[1mEdit[0m[38;5;12m (#edit)[39m
[48;5;235m[38;5;249m1. **Integrated Development Editors** (#integrated-development-editors)[49m[39m
[48;5;235m[38;5;249m2. **Editors** (#editors)[49m[39m[48;5;235m[38;5;249m                                              [49m[39m
[48;5;235m[38;5;249m3. **Text Modes** (#text-modes)[49m[39m[48;5;235m[38;5;249m                                        [49m[39m
[48;5;235m[38;5;249m4. **VSCode Extensions** (#vscode-extensions)[49m[39m[48;5;235m[38;5;249m                          [49m[39m
[38;5;12m6. [39m[38;5;14m[1mDeployment[0m[38;5;12m (#deployment)[39m
[48;5;235m[38;5;249m1. **Build and Package** (#build-and-package)[49m[39m[48;5;235m[38;5;249m          [49m[39m
[48;5;235m[38;5;249m2. **Continuous Integration** (#continuous-integration)[49m[39m
[38;5;12m7. [39m[38;5;14m[1mRuntimes[0m[38;5;12m (#runtimes)[39m
[38;5;12m8. [39m[38;5;14m[1mOS and Kernels[0m[38;5;12m (#os-and-kernels)[39m
[38;5;12m9. [39m[38;5;14m[1mGames[0m[38;5;12m (#games)[39m
[38;5;12m10. [39m[38;5;14m[1mFrameworks[0m[38;5;12m (#frameworks)[39m
[48;5;235m[38;5;249m1. **Components** (#components)[49m[39m[48;5;235m[38;5;249m                            [49m[39m
[48;5;235m[38;5;249m2. **Distributed** (#distributed)[49m[39m[48;5;235m[38;5;249m                          [49m[39m
[48;5;235m[38;5;249m3. **Graphical User Interface** (#graphical-user-interface)[49m[39m
[48;5;235m[38;5;249m4. **Terminal User Interface** (#terminal-user-interface)[49m[39m[48;5;235m[38;5;249m  [49m[39m
[48;5;235m[38;5;249m5. **3D** (#3d)[49m[39m[48;5;235m[38;5;249m                                            [49m[39m
[48;5;235m[38;5;249m6. **Database** (#database)[49m[39m[48;5;235m[38;5;249m                                [49m[39m
[48;5;235m[38;5;249m7. **Web** (#web)[49m[39m[48;5;235m[38;5;249m                                          [49m[39m
[48;5;235m[38;5;249m8. **Unit Test, Testing** (#unit-test-testing)[49m[39m[48;5;235m[38;5;249m             [49m[39m
[48;5;235m[38;5;249m9. **Logging** (#logging)[49m[39m[48;5;235m[38;5;249m                                  [49m[39m
[48;5;235m[38;5;249m10. **Machine Learning** (#machine-learning)[49m[39m[48;5;235m[38;5;249m               [49m[39m
[48;5;235m[38;5;249m11. **Automation** (#automation)[49m[39m[48;5;235m[38;5;249m                           [49m[39m
[38;5;12m11. [39m[38;5;14m[1mTools[0m[38;5;12m (#tools)[39m
[48;5;235m[38;5;249m1. **DevOps** (#devops)[49m[39m[48;5;235m[38;5;249m            [49m[39m
[48;5;235m[38;5;249m2. **Verification** (#verification)[49m[39m
[48;5;235m[38;5;249m3. **Generation** (#generation)[49m[39m[48;5;235m[38;5;249m    [49m[39m
[48;5;235m[38;5;249m4. **UML** (#uml)[49m[39m[48;5;235m[38;5;249m                  [49m[39m
[48;5;235m[38;5;249m5. **Encryption** (#encryption)[49m[39m[48;5;235m[38;5;249m    [49m[39m
[38;5;12m12. [39m[38;5;14m[1mLibraries[0m[38;5;12m (#libraries)[39m
[48;5;235m[38;5;249m1. **Math** (#math)[49m[39m[48;5;235m[38;5;249m                                                                                                                                [49m[39m
[48;5;235m[38;5;249m2. **Science** (#science)[49m[39m[48;5;235m[38;5;249m                                                                                                                          [49m[39m
[48;5;235m[38;5;249m3. **Algorithms, Containers and Protocols** (#algorithms-containers-and-protocols)[49m[39m[48;5;235m[38;5;249m                                                                 [49m[39m
[48;5;235m[38;5;249m4. **Cryptography** (#cryptography)[49m[39m[48;5;235m[38;5;249m                                                                                                                [49m[39m
[48;5;235m[38;5;249m5. **Compression** (#compression)[49m[39m[48;5;235m[38;5;249m                                                                                                                  [49m[39m
[48;5;235m[38;5;249m6. **Patterns** (#patterns)[49m[39m[48;5;235m[38;5;249m                                                                                                                        [49m[39m
[48;5;235m[38;5;249m7. **System Modeling** (#system-modeling)[49m[39m[48;5;235m[38;5;249m                                                                                                          [49m[39m
[48;5;235m[38;5;249m8. **Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters** (#parsers-scanners-linters-analysers-interpreters-and-prettyprinters)[49m[39m
[48;5;235m[38;5;249m9. **Format Readers, Writers and Checkers** (#format-readers-writers-and-checkers)[49m[39m[48;5;235m[38;5;249m                                                                 [49m[39m
[48;5;235m[38;5;249m10. **Networking and Communication Middleware** (#networking-and-communication-middleware)[49m[39m[48;5;235m[38;5;249m                                                         [49m[39m
[48;5;235m[38;5;249m11. **Chatting and Communication** (#chatting-and-communication)[49m[39m[48;5;235m[38;5;249m                                                                                   [49m[39m
[48;5;235m[38;5;249m12. **Web** (#web-1)[49m[39m[48;5;235m[38;5;249m                                                                                                                               [49m[39m
[48;5;235m[38;5;249m13. **Graphics and Multimedia** (#graphics-and-multimedia)[49m[39m[48;5;235m[38;5;249m                                                                                         [49m[39m
[48;5;235m[38;5;249m14. **General Purpose Computing** (#general-purpose-computing)[49m[39m[48;5;235m[38;5;249m                                                                                     [49m[39m
[48;5;235m[38;5;249m15. **Sound** (#sound)[49m[39m[48;5;235m[38;5;249m                                                                                                                             [49m[39m
[48;5;235m[38;5;249m16. **Localization** (#localization)[49m[39m[48;5;235m[38;5;249m                                                                                                               [49m[39m
[48;5;235m[38;5;249m17. **Utilities** (#utilities)[49m[39m[48;5;235m[38;5;249m                                                                                                                     [49m[39m
[48;5;235m[38;5;249m18. **Robotics** (#robotics)[49m[39m[48;5;235m[38;5;249m                                                                                                                       [49m[39m
[48;5;235m[38;5;249m19. **Linux and POSIX** (#linux-and-posix)[49m[39m[48;5;235m[38;5;249m                                                                                                         [49m[39m
[48;5;235m[38;5;249m20. **Windows and .NET** (#windows-and-net)[49m[39m[48;5;235m[38;5;249m                                                                                                        [49m[39m
[48;5;235m[38;5;249m21. **Bindings to Other Languages** (#bindings-to-other-languages)[49m[39m[48;5;235m[38;5;249m                                                                                 [49m[39m
[38;5;12m13. [39m[38;5;14m[1mHardware and Embedded[0m[38;5;12m (#hardware-and-embedded)[39m
[48;5;235m[38;5;249m1. **Frameworks** (#frameworks-1)[49m[39m[48;5;235m[38;5;249m    [49m[39m
[48;5;235m[38;5;249m2. **Firmwares** (#firmwares)[49m[39m[48;5;235m[38;5;249m        [49m[39m
[48;5;235m[38;5;249m3. **Drivers** (#drivers)[49m[39m[48;5;235m[38;5;249m            [49m[39m
[48;5;235m[38;5;249m4. **Controllers** (#controllers)[49m[39m[48;5;235m[38;5;249m    [49m[39m
[48;5;235m[38;5;249m5. **Communication** (#communication)[49m[39m
[48;5;235m[38;5;249m6. **Libraries** (#libraries-1)[49m[39m[48;5;235m[38;5;249m      [49m[39m
[48;5;235m[38;5;249m7. **Applications** (#applications)[49m[39m[48;5;235m[38;5;249m  [49m[39m
[48;5;235m[38;5;249m8. **Generators** (#generators)[49m[39m[48;5;235m[38;5;249m      [49m[39m
[38;5;12m14. [39m[38;5;14m[1mApplications[0m[38;5;12m (#applications-1)[39m
[48;5;235m[38;5;249m1. **Office** (#office)[49m[39m[48;5;235m[38;5;249m                                                       [49m[39m
[48;5;235m[38;5;249m2. **Mail** (#mail)[49m[39m[48;5;235m[38;5;249m                                                           [49m[39m
[48;5;235m[38;5;249m3. **Web** (#web-2)[49m[39m[48;5;235m[38;5;249m                                                           [49m[39m
[48;5;235m[38;5;249m4. **Multimedia** (#multimedia)[49m[39m[48;5;235m[38;5;249m                                               [49m[39m
[48;5;235m[38;5;249m5. **Automation** (#automation-1)[49m[39m[48;5;235m[38;5;249m                                             [49m[39m
[48;5;235m[38;5;249m6. **Simulation** (#simulation)[49m[39m[48;5;235m[38;5;249m                                               [49m[39m
[48;5;235m[38;5;249m7. **Generators and Translators** (#generators-and-translators)[49m[39m[48;5;235m[38;5;249m               [49m[39m
[48;5;235m[38;5;249m8. **Shells, Interpreters and Emulators** (#shells-interpreters-and-emulators)[49m[39m
[48;5;235m[38;5;249m9. **Programming Languages** (#programming-languages)[49m[39m[48;5;235m[38;5;249m                         [49m[39m
[48;5;235m[38;5;249m10. **Misc** (#misc)[49m[39m[48;5;235m[38;5;249m                                                          [49m[39m



[38;2;255;187;0m[4mPresentation[0m

















[38;2;255;187;0m[4mEducation[0m

[38;2;255;187;0m[4mEntry Point[0m
[38;5;12m- [39m[38;5;14m[1mlearn[0m[38;5;12m (https://learn.adacore.com/) - Interactive learning platform designed to teach the Ada and SPARK programming languages.[39m
[38;5;12m- [39m[38;5;14m[1mada-lang-io[0m[38;5;12m (https://ada-lang.io) - A community site for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mcelebrating-ada[0m[38;5;12m (https://www.celebratingada.com/) - Ada history key moments.[39m
[38;5;12m- [39m[38;5;14m[1mada-logo-editor[0m[38;5;12m (https://ada-lang-io.github.io/ada-logo-editor/) - The “Ada horizon” logo maker website.[39m

[38;2;255;187;0m[4mTutorials[0m
[38;5;12m- [39m[38;5;14m[1madacore-video-tutorials[0m[38;5;12m (https://www.youtube.com/playlist?list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o) - AdaCore University Video Tutorials.[39m
[38;5;12m- [39m[38;5;14m[1mada-crash-course[0m[38;5;12m (http://www.pchapin.org/Ada/AdaCrash.pdf) - Ada 2012 crash course under 50 pages from Vermont Technical College.[39m
[38;5;12m- [39m[38;5;14m[1msimple-games[0m[38;5;12m (https://drive.google.com/file/d/1hdLc9nZzTnBDcN9qJeDlJm1F9IL91Lvi/view) - Learning Ada 2012 by writing simple games.[39m
[38;5;12m- [39m[38;5;14m[1mspark-by-example[0m[38;5;12m (https://github.com/tofgarion/spark-by-example) - Collection of verified functions and data types in SPARK.[39m

[38;2;255;187;0m[4mOnline Books[0m
[38;5;12m- [39m[38;5;14m[1mada-wikibook[0m[38;5;12m (https://en.wikibooks.org/wiki/Ada_Programming) - Ada Programming book at Wikibooks.[39m
[38;5;12m- [39m[38;5;14m[1mada-distilled[0m[38;5;12m (https://www.adaic.org/wp-content/uploads/2010/05/Ada-Distilled-24-January-2011-Ada-2005-Version.pdf) - Ada Distilled for Ada 2005.[39m
[38;5;12m- [39m[38;5;14m[1mada-craft[0m[38;5;12m (https://www.adaic.org/resources/add_content/docs/craft/html/contents.htm) - Ada 95: The Craft of Object-Oriented Programming.[39m
[38;5;12m- [39m[38;5;14m[1mada-cpp-java[0m[38;5;12m (https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/index.html) - Ada for the C++ or Java Developer.[39m
[38;5;12m- [39m[38;5;14m[1mspark-guidance[0m[38;5;12m (https://www.adacore.com/books/implementation-guidance-spark) - Implementation Guidance for the Adoption of SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mada-safe-secure[0m[38;5;12m (https://www.adacore.com/uploads/technical-papers/SafeSecureAdav2015.pdf) - Safe and Secure Software. An invitation to Ada 2012.[39m
[38;5;12m- [39m[38;5;14m[1mada-95-tutorial[0m[38;5;12m (https://perso.telecom-paristech.fr/pautet/Ada95/a95list.htm) - A book going from beginner to advanced concepts in Ada 95, complete with source files.[39m

[38;2;255;187;0m[4mBooks[0m
[38;5;14m[1mProgramming in Ada 2012 with a Preview of Ada 2022 (2nd ed.)[0m[38;5;12m (https://www.cambridge.org/core/books/programming-in-ada-2012-with-a-preview-of-ada-2022/AD30275F35CCECB97EAB80ABC32B019C#) - Comprehensive.  [39m
[38;5;14m[1mProgramming in Ada 2012[0m[38;5;12m (https://www.cambridge.org/core/books/programming-in-ada-2012/55B998B4E908A017E4D74A87364FF224#) - Comprehensive.  [39m
[38;5;14m[1mBeginning Ada Programming: From Novice to Professional[0m[38;5;12m (https://www.amazon.com/Beginning-Ada-Programming-Novice-Professional/dp/1484254279) - Introduction.  [39m
[38;5;14m[1mAda 95: The Craft of Object-Oriented Programming[0m[38;5;12m (https://www.amazon.com/Ada-95-Craft-Object-Oriented-Programming/dp/0132303507) - General, intermediate.  [39m
[38;5;12m [39m[38;5;14m[1mAda Plus Data Structures: An Object Oriented Approach[0m[38;5;12m (https://www.amazon.com/Ada-Plus-Data-Structures-Oriented/dp/0763737941) - Data Structures.  [39m
[38;5;12m [39m[38;5;14m[1mAda for Software Engineers[0m[38;5;12m (https://link.springer.com/book/10.1007/978-1-84882-314-3) - Idioms, Architecture.  [39m
[38;5;14m[1mConcurrent and Real-Time Programming in Ada[0m[38;5;12m (https://www.cambridge.org/core/books/concurrent-and-realtime-programming-in-ada/9DA4389E52005382D4CC1FC5D812DA71) - Concurrency, Containers, Scheduling.  [39m
[38;5;14m[1mData Structures and Algorithms: An Object-Oriented Approach Using Ada 95[0m[38;5;12m (https://link.springer.com/book/10.1007/978-1-4612-1854-8) - Data structures, Algorithms.  [39m
[38;5;14m[1mBuilding Parallel, Embedded, and Real-Time Applications with Ada[0m[38;5;12m (https://www.cambridge.org/core/books/building-parallel-embedded-and-real-time-applications-with-ada/9FC78A90F1B6A2228D69E32CE610A66C) - Concurrency, Distributed.  [39m
[38;5;14m[1mAnalysable Real-Time Systems: Programmed in Ada[0m[38;5;12m (https://www.amazon.com/Analysable-Real-Time-Systems-Programmed-Ada/dp/1530265509/ref=sr_1_2?ie=UTF8&qid=1544540272&sr=8-2&keywords=ada+programming+language) - Scheduling.  [39m
[38;5;14m[1mBuilding High Integrity Applications with SPARK[0m[38;5;12m (https://www.cambridge.org/core/books/building-high-integrity-applications-with-spark/F213D9867D2E271F5FF3EDA765D48E95) - Formal verification.  [39m
[38;5;14m[1mAda and SPARK on ARM Cortex-M[0m[38;5;12m (https://www.lulu.com/shop/maciej-sobczak/ada-and-spark-on-arm-cortex-m/paperback/product-22614818.html) - Embedded.  [39m

[38;2;255;187;0m[4mSpecialties[0m
[38;5;12m- [39m[38;5;14m[1mgems[0m[38;5;12m (https://www.adacore.com/gems/) - Ada Gem Archive.[39m
[38;5;12m- [39m[38;5;14m[1mada-composition[0m[38;5;12m (https://github.com/gerr135/ada_composition) - A collections of small nifty demos/sample code that may help better layout data or structure project.[39m
[38;5;12m- [39m[38;5;14m[1mada-ic-learning[0m[38;5;12m (https://www.adaic.org/learn/materials/) - For additional learning resources, see the AdaIC learning section.[39m
[38;5;12m- [39m[38;5;14m[1mada-at-rosetta-code[0m[38;5;12m (https://rosettacode.org/wiki/Category:Ada) - A collection of programming tasks and their sample solutions in Ada.[39m

[38;2;255;187;0m[4mReference[0m
[38;5;12m- [39m[38;5;14m[1miso-standard[0m[38;5;12m (http://www.ada-auth.org/standards/ada22.html) - The 2022 revision to the Ada Standard, usually known as Ada 2022.[39m
[38;5;12m- [39m[38;5;14m[1madalib[0m[38;5;12m (https://github.com/reznikmm/adalib) - Standard Ada library specification as defined in Reference Manual.[39m

[38;2;255;187;0m[4mCommunity[0m

[38;2;255;187;0m[4mQuestions and Answers[0m
[38;5;12m- [39m[38;5;14m[1mgitter-ada[0m[38;5;12m (https://gitter.im/ada-lang/Lobby) - Ada channel at Gitter.[39m
[38;5;12m- [39m[38;5;14m[1mcomp-lang-ada[0m[38;5;12m (https://groups.google.com/forum/#!forum/comp.lang.ada) - Ada Usenet newsgroup/forum.[39m
[38;5;12m- [39m[38;5;14m[1mstack-overflow-ada-tag[0m[38;5;12m (https://stackoverflow.com/questions/tagged/ada) - Ada at Stack Overflow.[39m
[38;5;12m- [39m[38;5;14m[1msubreddit-ada[0m[38;5;12m (https://www.reddit.com/r/ada/) - Ada at Reddit.[39m
[38;5;12m- [39m[38;5;14m[1msubreddit-spark[0m[38;5;12m (https://www.reddit.com/r/spark/) - Spark at Reddit.[39m
[38;5;12m- [39m[38;5;14m[1mtelegram-ada[0m[38;5;12m (https://t.me/ada_lang) - Ada group at Telegram.[39m
[38;5;12m- [39m[38;5;14m[1mlibera-chat-ada[0m[38;5;12m (https://libera.chat/) - Ada channel at IRC.[39m
[38;5;12m- [39m[38;5;14m[1mmatrix-ada[0m[38;5;12m (https://matrix.to/#/#ada-lang_Lobby:gitter.im) - Ada room at Gitter via Matrix.[39m

[38;2;255;187;0m[4mNews and Resources[0m
[38;5;12m- [39m[38;5;14m[1madacore-blog[0m[38;5;12m (https://blog.adacore.com/) - An insight into the AdaCore ecosystem.[39m
[38;5;12m- [39m[38;5;14m[1mada-europe[0m[38;5;12m (http://www.ada-europe.org/) - Ada-Europe is an international organization, set up to promote the use of Ada.[39m
[38;5;12m- [39m[38;5;14m[1macm-sig-ada[0m[38;5;12m (https://www.sigada.org/) - The Special Interest Group on Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-resource-association[0m[38;5;12m (https://www.adaic.org/community/) - Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”.[39m
[38;5;12m- [39m[38;5;14m[1mada-information-clearinghouse[0m[38;5;12m (https://www.adaic.org/) - News and resources for the Ada programming language.[39m
[38;5;12m- [39m[38;5;14m[1mada-planet[0m[38;5;12m (https://ada-planet.blogspot.com/) - News Aggregator from the Ada programming language world (v3) ([39m[38;5;14m[1mAda-Planet v2 feed via Matrix[0m[38;5;12m [39m[38;5;14m[1mada-planet-via-matrix[0m[38;5;12m ).[39m

[38;5;14m[1mada-planet-via-matrix[0m[38;5;12m : https://matrix.to/#/#ada-lang:matrix.org[39m

[38;2;255;187;0m[4mCompetition[0m


[48;5;235m[38;5;249m[49m[39m
[48;5;235m[38;5;249m	[49m[39m
[48;5;235m[38;5;249m[49m[39m


[38;2;255;187;0m[4mCompilers[0m

[38;2;255;187;0m[4mOpen source[0m

[38;2;255;187;0m[4mGPL (no linking exception)[0m

[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mgnat-ce[0m[38;5;12m [39m[38;5;12m(https://www.adacore.com/download)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mGNAT[39m[38;5;12m [39m[38;5;12mCommunity[39m[38;5;12m [39m[38;5;12medition.[39m[38;5;12m [39m[38;5;12mA[39m[38;5;12m [39m[38;5;12mrelease[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mAdaCore[39m[38;5;12m [39m[38;5;12mGNAT[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mfree[39m[38;5;12m [39m[38;5;12msoftware[39m[38;5;12m [39m[38;5;12mdevelopers,[39m[38;5;12m [39m[38;5;12mhobbyists,[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mstudents.[39m[38;5;12m [39m[38;5;12mThe[39m[38;5;12m [39m[38;5;12mrun-time[39m[38;5;12m [39m[38;5;12mlibraries[39m[38;5;12m [39m[38;5;12mprovided[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mGNAT[39m[38;5;12m [39m[38;5;12mCommunity[39m[38;5;12m [39m[38;5;12mare[39m[38;5;12m [39m[38;5;12mlicensed[39m[38;5;12m [39m[38;5;12munder[39m[38;5;12m [39m[38;5;12mGPLv3[39m[38;5;12m [39m[38;5;12mwithout[39m
[38;5;12mlinking[39m[38;5;12m [39m[38;5;12mexception.[39m[38;5;12m [39m[38;5;12mIt[39m[38;5;12m [39m[38;5;12msupports[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m2012[39m[38;5;12m [39m[38;5;12monly.[39m

[38;2;255;187;0m[4mGPL (with linking exception)[0m

[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mfsf-gnat[0m[38;5;12m [39m[38;5;12m(https://www.getadanow.com/)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mFree[39m[38;5;12m [39m[38;5;12mSoftware[39m[38;5;12m [39m[38;5;12mFoundation[39m[38;5;12m [39m[38;5;12mcompiler[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mprogramming[39m[38;5;12m [39m[38;5;12mlanguage[39m[38;5;12m [39m[38;5;12mwhich[39m[38;5;12m [39m[38;5;12mforms[39m[38;5;12m [39m[38;5;12mpart[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mGNU[39m[38;5;12m [39m[38;5;12mCompiler[39m[38;5;12m [39m[38;5;12mCollection.[39m[38;5;12m [39m[38;5;12mIt[39m[38;5;12m [39m[38;5;12msupports[39m[38;5;12m [39m[38;5;12mall[39m[38;5;12m [39m[38;5;12mversions[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mlanguage,[39m[38;5;12m [39m[38;5;12mi.e.[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m2012,[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m2005,[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m95[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m
[38;5;12mAda[39m[38;5;12m [39m[38;5;12m83.[39m

[38;2;255;187;0m[4mMIT[0m

[38;5;12m- [39m[38;5;14m[1mhac[0m[38;5;12m (https://github.com/zertovitch/hac) - HAC Ada Compiler - a small, quick Ada compiler fully in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mbyron[0m[38;5;12m (https://github.com/OneWingedShark/Byron) - Byron is a community project to build an Ada compiler, toolchain, and IDE-system.[39m

[38;2;255;187;0m[4mApache License[0m

[38;5;12m- [39m[38;5;14m[1maugusta[0m[38;5;12m (https://github.com/pchapin/augusta) - Ada compiler written in Scala that targets LLVM.[39m

[38;2;255;187;0m[4mCommercial / Open source[0m

[38;5;12m- [39m[38;5;14m[1mgnat-pro[0m[38;5;12m (https://www.adacore.com/gnatpro) - The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.[39m

[38;2;255;187;0m[4mCommercial / Closed source[0m

[38;5;12m- [39m[38;5;14m[1mjanus-ada[0m[38;5;12m (http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm) - Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.[39m
[38;5;12m- [39m[38;5;14m[1mobject-ada[0m[38;5;12m (https://www.ptc.com/en/products/developer-tools/objectada) - PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.[39m
[38;5;12m- [39m[38;5;14m[1mapex-ada[0m[38;5;12m (https://www.ptc.com/en/products/developer-tools/apexada) - PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.[39m
[38;5;12m- [39m[38;5;14m[1mgreenhills-ada[0m[38;5;12m (https://www.ghs.com/products/ada_optimizing_compilers.html) - Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.[39m
[38;5;12m- [39m[38;5;14m[1mxgc[0m[38;5;12m (https://www.xgc.com/) - XGC provide GCC-based bare-metal toolchains with Ada95 support for aerospace-specific targets such as MIL1750, ERC32 and LEON. As well as a legacy M68000 toolchain.[39m

[38;2;255;187;0m[4mOnline[0m
[38;5;12m- [39m[38;5;14m[1mtutorials-point-ada-compiler[0m[38;5;12m (https://www.tutorialspoint.com/compile_ada_online.php) - Online compiler built on the CodingGround engine.[39m
[38;5;12m- [39m[38;5;14m[1mjdoodle-ada-compiler[0m[38;5;12m (https://www.jdoodle.com/execute-ada-online) - Online compiler that provides multiple versions of GNAT to test with.[39m
[38;5;12m- [39m[38;5;14m[1mcompiler-explorer[0m[38;5;12m (https://godbolt.org/) - Run GNAT FSF compilers interactively from your web browser and interact with the assembly.[39m

[38;2;255;187;0m[4mEdit[0m

[38;2;255;187;0m[4mIntegrated Development Editors[0m
[38;5;12m [39m[38;5;14m[1mThe GNAT Programming Studio[0m[38;5;12m (https://github.com/AdaCore/gps)[39m
[38;5;12m- [39m[38;5;14m[1mada-visual[0m[38;5;12m (https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda) - Ada language integration for Visual Studio 2017.[39m

[38;2;255;187;0m[4mEditors[0m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mlea[0m[38;5;12m [39m[38;5;12m(https://github.com/zertovitch/lea)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mLEA,[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mLightweight[39m[38;5;12m [39m[38;5;12mEditor[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mAda,[39m[38;5;12m [39m[38;5;12maims[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mprovide[39m[38;5;12m [39m[38;5;12man[39m[38;5;12m [39m[38;5;12measy,[39m[38;5;12m [39m[38;5;12mscript-world-like,[39m[38;5;12m [39m[38;5;12m"look[39m[38;5;12m [39m[38;5;12m&[39m[38;5;12m [39m[38;5;12mfeel"[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mdeveloping[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mprojects[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12many[39m[38;5;12m [39m[38;5;12msize[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mlevel,[39m[38;5;12m [39m[38;5;12mwhile[39m[38;5;12m [39m[38;5;12menabling[39m[38;5;12m [39m[38;5;12maccess[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mfull-scale[39m[38;5;12m [39m[38;5;12mdevelopment[39m[38;5;12m [39m
[38;5;12mtools[39m[38;5;12m [39m[38;5;12mlike[39m[38;5;12m [39m[38;5;12mGNAT.[39m[38;5;12m [39m[38;5;12mLEA[39m[38;5;12m [39m[38;5;12mincludes[39m[38;5;12m [39m[38;5;12mHAC,[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mHAC[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mCompiler.[39m

[38;2;255;187;0m[4mText Modes[0m
[38;5;12m- [39m[38;5;14m[1mgnu-emacs-ada-mode[0m[38;5;12m (https://www.nongnu.org/ada-mode/) - Gnu Emacs major-mode for editing Ada sources.[39m
[38;5;12m- [39m[38;5;14m[1mvim-ada-bundle[0m[38;5;12m (https://github.com/thindil/Ada-Bundle) - Maintained Ada Bundle : Complete Ada-Mode for Vim/NeoVim.[39m
[38;5;12m- [39m[38;5;14m[1mada-tmbundle[0m[38;5;12m (https://github.com/textmate/ada.tmbundle) - TextMate support for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mbbedit-ada-module[0m[38;5;12m (https://www.barebones.com/support/bbedit/plugin_library.html) - BBEdit support for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mob-ada-spark[0m[38;5;12m (https://github.com/rocher/ob-ada-spark/) - Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.[39m

[38;2;255;187;0m[4mVSCode Extensions[0m
[38;5;12m- [39m[38;5;14m[1madacore-ada[0m[38;5;12m (https://marketplace.visualstudio.com/items?itemName=AdaCore.ada) - Language Support for Ada. It includes [39m[38;5;14m[1mLanguage Server for Ada[0m[38;5;12m [39m[38;5;14m[1mada-language-server[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mada-vscode[0m[38;5;12m (https://github.com/Lucretia/ada-vscode) - Basic syntax highlighting for Ada and GPR.[39m
[38;5;12m- [39m[38;5;14m[1mada-utilities[0m[38;5;12m (https://github.com/Lucretia/ada-utilities) - VSCode extension Ada programmers which provides a few utility functions.[39m

[38;2;255;187;0m[4mDeployment[0m

[38;2;255;187;0m[4mBuild and Package[0m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1malire[0m[38;5;12m [39m[38;5;12m(https://github.com/alire-project/alire)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mA[39m[38;5;12m [39m[38;5;12mcatalog[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mready-to-use[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mlibraries[39m[38;5;12m [39m[38;5;12mplus[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mcommand-line[39m[38;5;12m [39m[38;5;12mtool[39m[38;5;12m [39m[38;5;12m(alr)[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mobtain,[39m[38;5;12m [39m[38;5;12mcompile,[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mincorporate[39m[38;5;12m [39m[38;5;12mthem[39m[38;5;12m [39m[38;5;12minto[39m[38;5;12m [39m[38;5;12myour[39m[38;5;12m [39m[38;5;12mown[39m[38;5;12m [39m[38;5;12mprojects.[39m[38;5;12m [39m[38;5;12mIt[39m[38;5;12m [39m[38;5;12maims[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mfulfill[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12msimilar[39m[38;5;12m [39m[38;5;12mrole[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mRust's[39m[38;5;12m [39m[38;5;12mcargo[39m
[38;5;12mor[39m[38;5;12m [39m[38;5;12mOCaml's[39m[38;5;12m [39m[38;5;12mopam.[39m
[38;5;12m- [39m[38;5;14m[1malr2appimage[0m[38;5;12m (https://github.com/mgrojo/alr2appimage) - A tool for automatically creating an AppImage executable from an Alire crate.[39m
[38;5;12m- [39m[38;5;14m[1maura[0m[38;5;12m (https://github.com/annexi-strayline/AURA) - An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines.[39m
[38;5;12m- [39m[38;5;14m[1mgprbuild[0m[38;5;12m (https://github.com/AdaCore/gprbuild) - Adacore multi-language software build tool.[39m
[38;5;12m- [39m[38;5;14m[1mravenadm[0m[38;5;12m (https://github.com/jrmarino/ravenadm) - Administration tool for Ravenports http://www.ravenports.com.[39m
[38;5;12m- [39m[38;5;14m[1msynth[0m[38;5;12m (https://github.com/jrmarino/synth) - Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools).[39m
[38;5;12m- [39m[38;5;14m[1mada4cmake[0m[38;5;12m (https://github.com/mosteo/ada4cmake) - CMake macros for simple gnat project inclusion.[39m
[38;5;12m- [39m[38;5;14m[1mcmake-ada-offa[0m[38;5;12m (https://github.com/offa/cmake-ada) - Ada language support for CMake.[39m
[38;5;12m- [39m[38;5;14m[1mcmake-ada-cho3[0m[38;5;12m (https://github.com/cho3/cmake-ada) - CMake language support for Ada, fork of [39m[38;5;14m[1mplplot[0m[38;5;12m 's cross-platform support code.[39m

[38;2;255;187;0m[4mContinuous Integration[0m
[38;5;12m- [39m[38;5;14m[1mcontinuous-verification[0m[38;5;12m (https://github.com/jklmnn/continuous-verification) - SPARK formal verification automated with Travis CI.[39m
[38;5;12m- [39m[38;5;14m[1mada-actions[0m[38;5;12m (https://github.com/ada-actions/toolchain) - Ada Toolchains for GitHub Actions.[39m
[38;5;12m- [39m[38;5;14m[1mporion[0m[38;5;12m (https://gitlab.com/stcarrez/porion) - Continuous integration server and agent that helps automate the building, testing and deployment.[39m

[38;2;255;187;0m[4mRuntimes[0m
[38;5;12m- [39m[38;5;14m[1mbb-runtimes[0m[38;5;12m (https://github.com/AdaCore/bb-runtimes) - GNAT bare metal board support package (BSP).[39m
[38;5;12m- [39m[38;5;14m[1mavr-ada[0m[38;5;12m (https://sourceforge.net/projects/avr-ada) - GNAT for 8-bit AVR microcontrollers.[39m
[38;5;12m- [39m[38;5;14m[1mada-runtime[0m[38;5;12m (https://github.com/Componolit/ada-runtime) - A downsized Ada runtime which can be adapted to different platforms.[39m
[38;5;12m- [39m[38;5;14m[1mcortex-gnat-rts[0m[38;5;12m (https://github.com/simonjwright/cortex-gnat-rts) - This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs.[39m
[38;5;12m- [39m[38;5;14m[1madawebpack[0m[38;5;12m (https://github.com/godunko/adawebpack) - GNAT RTL for WASM and bindings for Web API.[39m

[38;5;14m[1mada-runtime[0m[38;5;12m : https://github.com/Componolit/ada-runtime[39m
[38;5;14m[1madawebpack[0m[38;5;12m : https://github.com/godunko/adawebpack[39m

[38;2;255;187;0m[4mOS and Kernels[0m
[38;5;12m- [39m[38;5;14m[1mm2os[0m[38;5;12m (https://m2os.unican.es/) - RTOS with simple tasking support for small microcontrollers.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mmarte-os[0m[38;5;12m [39m[38;5;12m(https://marte.unican.es/)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mMaRTE[39m[38;5;12m [39m[38;5;12mOS[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mHard[39m[38;5;12m [39m[38;5;12mReal-Time[39m[38;5;12m [39m[38;5;12mOperating[39m[38;5;12m [39m[38;5;12mSystem[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12membedded[39m[38;5;12m [39m[38;5;12mapplications[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12mfollows[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mMinimal[39m[38;5;12m [39m[38;5;12mReal-Time[39m[38;5;12m [39m[38;5;12mPOSIX.13[39m[38;5;12m [39m[38;5;12msubset.[39m[38;5;12m [39m[38;5;12mIt[39m[38;5;12m [39m[38;5;12mprovides[39m[38;5;12m [39m[38;5;12man[39m[38;5;12m [39m[38;5;12measy[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12muse[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mcontrolled[39m[38;5;12m [39m[38;5;12menvironment[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mdevelop[39m[38;5;12m [39m
[38;5;12mMulti-Thread[39m[38;5;12m [39m[38;5;12mReal-Time[39m[38;5;12m [39m[38;5;12mapplications.[39m
[38;5;12m- [39m[38;5;14m[1mmuen[0m[38;5;12m (https://muen.codelabs.ch/) - An x86/64 Separation Kernel for High Assurance.[39m
[38;5;12m- [39m[38;5;14m[1mewok[0m[38;5;12m (https://github.com/wookey-project/ewok-kernel) - EwoK is a microkernel targeting micro-controllers and embedded systems.[39m
[38;5;12m- [39m[38;5;14m[1mbare-bones[0m[38;5;12m (https://github.com/Lucretia/bare_bones) - An Ada port of the [39m[38;5;14m[1mosdev.org[0m[38;5;12m (https://wiki.osdev.org/Ada_Bare_bones) minimal 32-bit x86 kernel.[39m
[38;5;12m- [39m[38;5;14m[1mlovelace-os[0m[38;5;12m (https://sourceforge.net/projects/lovelaceos/) - Lovelace is an effort to write a Unix like operating system using the Ada 2012 language.[39m
[38;5;12m- [39m[38;5;14m[1mada-kalinda-os[0m[38;5;12m (https://sourceforge.net/projects/sx-ada-kalinda/) - Ada KALINDA is a sort of Mac Plus like OS written in Ada95.[39m
[38;5;12m- [39m[38;5;14m[1mcxos[0m[38;5;12m (https://github.com/ajxs/cxos) - Ada Operating System development example.[39m
[38;5;12m- [39m[38;5;14m[1mhavk[0m[38;5;12m (https://github.com/RavSS/HAVK) - x86-64 security-focused OS being created with SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mcubit[0m[38;5;12m (https://github.com/docandrew/CuBit) - CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture.[39m
[38;5;12m- [39m[38;5;14m[1mironclad[0m[38;5;12m (https://ironclad.nongnu.org/) - A kernel for several architectures striving for POSIX compatibility, used on several distributions like [39m[38;5;14m[1mGloire[0m[38;5;12m (https://github.com/streaksu/Gloire).[39m
[38;5;12m- [39m[38;5;14m[1mhirtos[0m[38;5;12m (https://github.com/jgrivera67/HiRTOS) - A high-integrity RTOS written in SPARK Ada.[39m

[38;2;255;187;0m[4mGames[0m
[38;5;12m- [39m[38;5;14m[1msteamsky[0m[38;5;12m (https://github.com/thindil/steamsky) - Roguelike in sky with a steampunk setting.[39m
[38;5;12m- [39m[38;5;14m[1munity-ada-tetris[0m[38;5;12m (https://blog.adacore.com/unity-ada) - Tetris, in Ada, for the Unity game engine.[39m
[38;5;12m- [39m[38;5;14m[1mtictactoe[0m[38;5;12m (https://github.com/AdaCore/tictactoe) - A tictactoe game written and proven in SPARK/Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-gate[0m[38;5;12m (https://github.com/fastrgv/AdaGate) - AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux.[39m
[38;5;12m- [39m[38;5;14m[1mrufas-cube[0m[38;5;12m (https://github.com/fastrgv/RufasCube) - RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).[39m
[38;5;12m- [39m[38;5;14m[1mada-venture[0m[38;5;12m (https://github.com/fastrgv/AdaVenture) - AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes.[39m
[38;5;12m- [39m[38;5;14m[1mco-terminal-apps[0m[38;5;12m (https://github.com/fastrgv/CoTerminalApps) - Retro Games that run in a terminal on any platform.[39m
[38;5;12m- [39m[38;5;14m[1mworld-cup-sokerban[0m[38;5;12m (https://github.com/fastrgv/WorldCupSokerban) - This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux.[39m
[38;5;12m- [39m[38;5;14m[1mpasta[0m[38;5;12m (http://pasta.phyrama.com/) - Pasta! is a game of the "match-3" genre, implemented in [39m[38;5;14m[1mgnoga[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mbuttons[0m[38;5;12m (https://github.com/andreacervetti/buttons) - A simple [39m[38;5;14m[1mgtkada[0m[38;5;12m  Button Mania game.[39m
[38;5;12m- [39m[38;5;14m[1mmine-detector[0m[38;5;12m (https://github.com/jrcarter/Mine_Detector) - Mine Detector: a mine-finding game that never requires guessing.[39m
[38;5;12m- [39m[38;5;14m[1mplay-2048[0m[38;5;12m (https://github.com/mgrojo/play_2048) - Play 2048! is a clone of the popular 2048 game, implemented in Ada using [39m[38;5;14m[1masfml[0m[38;5;12m  for graphics and [39m[38;5;14m[1mada-toml[0m[38;5;12m  for saving state.[39m
[38;5;12m- [39m[38;5;14m[1mbingada[0m[38;5;12m (https://github.com/jfuica/bingada) - Bingo application in [39m[38;5;14m[1mgtkada[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mciv-klon[0m[38;5;12m (https://github.com/HonkiTonk/Civ-Klon) - Civilization-style turn-based strategy game. Requires [39m[38;5;14m[1masfml[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1meepers[0m[38;5;12m (https://github.com/tsoding/eepers) - A simple Turn-based Game in Ada (made with [39m[38;5;14m[1mraylib[0m[38;5;12m (https://github.com/raysan5/raylib)).[39m

[38;2;255;187;0m[4mFrameworks[0m

[38;2;255;187;0m[4mComponents[0m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1msimple-components[0m[38;5;12m [39m[38;5;12m(http://www.dmitry-kazakov.de/ada/components.htm)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mASN.1,[39m[38;5;12m [39m[38;5;12mMQTT[39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mserver/broker[39m[38;5;12m [39m[38;5;12mimplementation,[39m[38;5;12m [39m[38;5;12mB-trees,[39m[38;5;12m [39m[38;5;12mMultiple[39m[38;5;12m [39m[38;5;12mconnection[39m[38;5;12m [39m[38;5;12mTCP[39m[38;5;12m [39m[38;5;12mservers,[39m[38;5;12m [39m[38;5;12mChebyshev[39m[38;5;12m [39m[38;5;12mseries,[39m[38;5;12m [39m[38;5;12mMutexes,[39m[38;5;12m [39m[38;5;12mCryptography,[39m[38;5;12m [39m[38;5;12mObjects[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mhandles[39m[38;5;12m [39m[38;5;12mto,[39m[38;5;12m [39m
[38;5;12mDoubly-linked[39m[38;5;12m [39m[38;5;12mwebs[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mlists,[39m[38;5;12m [39m[38;5;12mODBC[39m[38;5;12m [39m[38;5;12mbindings,[39m[38;5;12m [39m[38;5;12mBlackboards[39m[38;5;12m [39m[38;5;12m(lock-free),[39m[38;5;12m [39m[38;5;12mOpenSSL[39m[38;5;12m [39m[38;5;12mbindings,[39m[38;5;12m [39m[38;5;12mELV/eQ-3[39m[38;5;12m [39m[38;5;12mMAX![39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mimplementation,[39m[38;5;12m [39m[38;5;12mParsers,[39m[38;5;12m [39m[38;5;12mEvents[39m[38;5;12m [39m[38;5;12m(plain,[39m[38;5;12m [39m[38;5;12mpulse,[39m[38;5;12m [39m[38;5;12marray[39m[38;5;12m [39m[38;5;12mof),[39m[38;5;12m [39m[38;5;12mPersistent[39m[38;5;12m [39m[38;5;12mobjects[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mhandles[39m[38;5;12m [39m[38;5;12mto,[39m[38;5;12m [39m[38;5;12mGNUTLS[39m[38;5;12m [39m[38;5;12mbindings,[39m[38;5;12m [39m[38;5;12mPersistent[39m[38;5;12m [39m
[38;5;12mstorage[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mhandles[39m[38;5;12m [39m[38;5;12mto,[39m[38;5;12m [39m[38;5;12mGraphs[39m[38;5;12m [39m[38;5;12m(directed,[39m[38;5;12m [39m[38;5;12mweighted,[39m[38;5;12m [39m[38;5;12macyclic,[39m[38;5;12m [39m[38;5;12mtrees),[39m[38;5;12m [39m[38;5;12mPools,[39m[38;5;12m [39m[38;5;12mHTTP[39m[38;5;12m [39m[38;5;12mimplementation,[39m[38;5;12m [39m[38;5;12mSets[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mmaps,[39m[38;5;12m [39m[38;5;12mFIFO[39m[38;5;12m [39m[38;5;12m(lock-free),[39m[38;5;12m [39m[38;5;12mSMTP[39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mimplementation,[39m[38;5;12m [39m[38;5;12mIEEE[39m[38;5;12m [39m[38;5;12m754,[39m[38;5;12m [39m[38;5;12mSQLite[39m[38;5;12m [39m[38;5;12mbindings,[39m[38;5;12m [39m[38;5;12mInter-process[39m[38;5;12m [39m[38;5;12mcommunication,[39m[38;5;12m [39m[38;5;12mStacks,[39m[38;5;12m [39m[38;5;12mInterfacing[39m[38;5;12m [39m
[38;5;12mJulia[39m[38;5;12m [39m[38;5;12mlanguage,[39m[38;5;12m [39m[38;5;12mStreams,[39m[38;5;12m [39m[38;5;12mJSON,[39m[38;5;12m [39m[38;5;12mStrings[39m[38;5;12m [39m[38;5;12mediting,[39m[38;5;12m [39m[38;5;12mLDAP,[39m[38;5;12m [39m[38;5;12mTables[39m[38;5;12m [39m[38;5;12m(maps[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mstrings),[39m[38;5;12m [39m[38;5;12mMODBUS[39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mimplementation,[39m[38;5;12m [39m[38;5;12mUnbounded[39m[38;5;12m [39m[38;5;12marrays.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mada-util[0m[38;5;12m [39m[38;5;12m(https://github.com/stcarrez/ada-util/)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mA[39m[38;5;12m [39m[38;5;12mlogging[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m[38;5;12mclose[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mJava[39m[38;5;12m [39m[38;5;12mlog4j[39m[38;5;12m [39m[38;5;12mframework,[39m[38;5;12m [39m[38;5;12msupport[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mproperties,[39m[38;5;12m [39m[38;5;12mserialization/deserialization[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mXML/JSON/CSV,[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mbeans[39m[38;5;12m [39m[38;5;12mframework,[39m[38;5;12m [39m[38;5;12mencoding/decoding[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m
[38;5;12m(Base16,[39m[38;5;12m [39m[38;5;12mBase64,[39m[38;5;12m [39m[38;5;12mSHA,[39m[38;5;12m [39m[38;5;12mHMAC-SHA),[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mcomposing[39m[38;5;12m [39m[38;5;12mstream[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m[38;5;12m(raw,[39m[38;5;12m [39m[38;5;12mfiles,[39m[38;5;12m [39m[38;5;12mbuffers,[39m[38;5;12m [39m[38;5;12mpipes,[39m[38;5;12m [39m[38;5;12msockets),[39m[38;5;12m [39m[38;5;12mseveral[39m[38;5;12m [39m[38;5;12mconcurrency[39m[38;5;12m [39m[38;5;12mtools[39m[38;5;12m [39m[38;5;12m(reference[39m[38;5;12m [39m[38;5;12mcounters,[39m[38;5;12m [39m[38;5;12mcounters,[39m[38;5;12m [39m[38;5;12mpools,[39m[38;5;12m [39m[38;5;12mfifos,[39m[38;5;12m [39m[38;5;12marrays),[39m[38;5;12m [39m[38;5;12mprocess[39m[38;5;12m [39m[38;5;12mcreation[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mpipes,[39m[38;5;12m [39m[38;5;12msupport[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mloading[39m[38;5;12m [39m[38;5;12mshared[39m[38;5;12m [39m
[38;5;12mlibraries[39m[38;5;12m [39m[38;5;12m(on[39m[38;5;12m [39m[38;5;12mWindows[39m[38;5;12m [39m[38;5;12mor[39m[38;5;12m [39m[38;5;12mUnix),[39m[38;5;12m [39m[38;5;12mHTTP[39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mlibrary[39m[38;5;12m [39m[38;5;12mon[39m[38;5;12m [39m[38;5;12mtop[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mCURL[39m[38;5;12m [39m[38;5;12mor[39m[38;5;12m [39m[38;5;12mAWS.[39m
[38;5;12m- [39m[38;5;14m[1mgnatcoll-core[0m[38;5;12m (https://github.com/AdaCore/gnatcoll-core) - This is the core module of the GNAT Components Collection.[39m
[38;5;12m- [39m[38;5;14m[1mgnatcoll-bindings[0m[38;5;12m (https://github.com/AdaCore/gnatcoll-bindings) - This is the bindings module of the GNAT Components Collection.[39m
[38;5;12m- [39m[38;5;14m[1mgnatcoll-db[0m[38;5;12m (https://github.com/AdaCore/gnatcoll-db) - This is the DB module of the GNAT Components Collection.[39m
[38;5;12m- [39m[38;5;14m[1mgnatcoll-json[0m[38;5;12m (https://github.com/persan/gnatcoll-json) - This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components.[39m
[38;5;12m- [39m[38;5;14m[1mgneiss[0m[38;5;12m (https://github.com/Componolit/gneiss) - Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the [39m[38;5;14m[1mada-runtime[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mlace[0m[38;5;12m (https://github.com/charlie5/lace) - A set of Ada components to allow 3D simulations, games and GUI's in Ada.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1masap[0m[38;5;12m [39m[38;5;12m(https://github.com/annexi-strayline/ASAP)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mA[39m[38;5;12m [39m[38;5;12mset[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mgeneral[39m[38;5;12m [39m[38;5;12mlibraries[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mthick[39m[38;5;12m [39m[38;5;12mbindings[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12muse[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mAURA[39m[38;5;12m [39m[38;5;12mpackage[39m[38;5;12m [39m[38;5;12mmanagement/build[39m[38;5;12m [39m[38;5;12mtool.[39m[38;5;12m [39m[38;5;12mIncludes[39m[38;5;12m [39m[38;5;12mTCP,[39m[38;5;12m [39m[38;5;12mTLS,[39m[38;5;12m [39m[38;5;12mHTTP,[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mhigh-performance[39m[38;5;12m [39m[38;5;12mJSON[39m[38;5;12m [39m[38;5;12mparser/generator,[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mformally[39m[38;5;12m [39m
[38;5;12mverified[39m[38;5;12m [39m[38;5;12m(SPARK)[39m[38;5;12m [39m[38;5;12mUTF-8[39m[38;5;12m [39m[38;5;12mstream[39m[38;5;12m [39m[38;5;12mdecoder.[39m

[38;2;255;187;0m[4mDistributed[0m
[38;5;12m- [39m[38;5;14m[1mpoly-orb[0m[38;5;12m (https://github.com/AdaCore/PolyORB) - PolyORB provides a uniform solution to build distributed applications relying either on middleware standards.[39m

[38;2;255;187;0m[4mGraphical User Interface[0m
[38;5;12m- [39m[38;5;14m[1mgnoga[0m[38;5;12m (https://sourceforge.net/projects/gnoga/) - The GNU Omnificent GUI for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mgwindows[0m[38;5;12m (https://github.com/zertovitch/gwindows) - GNU Ada Visual Interface.[39m
[38;5;12m- [39m[38;5;14m[1mclaw[0m[38;5;12m (http://www.rrsoftware.com/html/prodinf/claw/claw.htm) - CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows.[39m
[38;5;12m- [39m[38;5;14m[1mgtkada[0m[38;5;12m (https://github.com/AdaCore/gtkada) - Ada graphical toolkit based on Gtk3 components.[39m
[38;5;12m- [39m[38;5;14m[1mqt-ada[0m[38;5;12m (https://r3fowwcolhrzycn2yzlzzw.on.drv.tw/AdaStudio/qt6ada/qt6ada.html) - Ada-2012 port to Qt 6 framework.[39m
[38;5;12m- [39m[38;5;14m[1mvtk-ada[0m[38;5;12m (https://r3fowwcolhrzycn2yzlzzw.on.drv.tw/AdaStudio/vtkada/vtkada.html) - Ada-2012 port to VTK 8.1 (Visualization Toolkit).[39m
[38;5;12m- [39m[38;5;14m[1mfltk-ada[0m[38;5;12m (http://jedbarber.id.au/fltkada.xhtml) - Ada-2012 binding to FLTK (Fast Light Toolkit).[39m
[38;5;12m- [39m[38;5;14m[1mada-gui[0m[38;5;12m (https://github.com/jrcarter/Ada_GUI) - GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from [39m[38;5;14m[1mgnoga[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1madawebui[0m[38;5;12m (https://github.com/godunko/adawebui) - GUI based on [39m[38;5;14m[1madawebpack[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mimgui-ada[0m[38;5;12m (https://github.com/Cre8or/ImGui-Ada) - Ada binding of the ImGui library.[39m

[38;5;14m[1mgnoga[0m[38;5;12m : https://sourceforge.net/projects/gnoga/[39m
[38;5;14m[1mgtkada[0m[38;5;12m : https://github.com/AdaCore/gtkada[39m

[38;2;255;187;0m[4mTerminal User Interface[0m

[38;5;12m- [39m[38;5;14m[1mcurses[0m[38;5;12m (https://github.com/annexi-strayline/Curses) - Advanced UNIX Terminal UI Ada Binding Package.[39m
[38;5;12m- [39m[38;5;14m[1mncurses-ada95[0m[38;5;12m (https://invisible-island.net/ncurses/ncurses-Ada95.html) - Ada95 bindings for ncurses.[39m
[38;5;12m- [39m[38;5;14m[1mlinenoise-ada[0m[38;5;12m (https://git.sr.ht/~nytpu/linenoise-ada) - Bindings to the Linenoise line-editing library (patched to support UTF-8).[39m
[38;5;12m- [39m[38;5;14m[1mareadline[0m[38;5;12m (https://github.com/samueltardieu/areadline) - Ada binding to the readline library.[39m

[38;2;255;187;0m[4m3D[0m
[38;5;12m- [39m[38;5;14m[1mglobe-3d[0m[38;5;12m (https://github.com/zertovitch/globe-3d) - GL Object Based Engine for 3D.[39m
[38;5;12m- [39m[38;5;14m[1mengine-3d[0m[38;5;12m (https://github.com/zertovitch/engine-3d) - A 3D engine for DOS-talgics.[39m
[38;5;12m- [39m[38;5;14m[1mada-ogl[0m[38;5;12m (https://github.com/JulianSchutsch/AdaOGL) - Ada OpenGL Framework.[39m
[38;5;12m- [39m[38;5;14m[1mada-doom-3[0m[38;5;12m (https://github.com/AdaDoom3/AdaDoom3) - Id Software's Id-tech-4-BFG in the Ada programming language.[39m

[38;2;255;187;0m[4mDatabase[0m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mada-ado[0m[38;5;12m [39m[38;5;12m(https://github.com/stcarrez/ada-ado)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mDatabase[39m[38;5;12m [39m[38;5;12mObjects[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12man[39m[38;5;12m [39m[38;5;12mAda05[39m[38;5;12m [39m[38;5;12mlibrary[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12mprovides[39m[38;5;12m [39m[38;5;12mobject[39m[38;5;12m [39m[38;5;12mrelational[39m[38;5;12m [39m[38;5;12mmapping[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12maccess[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mdatabase[39m[38;5;12m [39m[38;5;12min[39m[38;5;12m [39m[38;5;12mAda05.[39m[38;5;12m [39m[38;5;12mThe[39m[38;5;12m [39m[38;5;12mlibrary[39m[38;5;12m [39m[38;5;12msupports[39m[38;5;12m [39m[38;5;12mPostgresql,[39m[38;5;12m [39m[38;5;12mMySQL,[39m[38;5;12m [39m[38;5;12mSQLite[39m[38;5;12m [39m[38;5;12mas[39m[38;5;12m [39m[38;5;12mdatabases.[39m[38;5;12m [39m[38;5;12mMost[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m
[38;5;12mconcepts[39m[38;5;12m [39m[38;5;12mdevelopped[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mADO[39m[38;5;12m [39m[38;5;12mcome[39m[38;5;12m [39m[38;5;12mfrom[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mJava[39m[38;5;12m [39m[38;5;12mHibernate[39m[38;5;12m [39m[38;5;12mORM.[39m
[38;5;12m- [39m[38;5;14m[1mada-base[0m[38;5;12m (https://github.com/jrmarino/AdaBase) - Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mapq-base[0m[38;5;12m (http://www.ravenports.com/catalog/bucket_F2/apq-base/standard/) - APQ is a database interface library written in Ada95.[39m

[38;2;255;187;0m[4mWeb[0m
[38;5;12m- [39m[38;5;14m[1maws[0m[38;5;12m (https://github.com/AdaCore/aws) - AWS is a complete framework to develop Web based applications in Ada.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mawa[0m[38;5;12m [39m[38;5;12m(https://github.com/stcarrez/ada-awa)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mWeb[39m[38;5;12m [39m[38;5;12mApplication[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mbuild[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mWeb[39m[38;5;12m [39m[38;5;12mApplication[39m[38;5;12m [39m[38;5;12min[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m2012.[39m[38;5;12m [39m[38;5;12mThe[39m[38;5;12m [39m[38;5;12mframework[39m[38;5;12m [39m[38;5;12mprovides[39m[38;5;12m [39m[38;5;12mseveral[39m[38;5;12m [39m[38;5;12mready[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12muse[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mextendable[39m[38;5;12m [39m[38;5;12mmodules[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12mare[39m[38;5;12m [39m[38;5;12mcommon[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mmany[39m[38;5;12m [39m[38;5;12mweb[39m[38;5;12m [39m[38;5;12mapplication.[39m[38;5;12m [39m[38;5;12mThis[39m[38;5;12m [39m
[38;5;12mincludes[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mlogin,[39m[38;5;12m [39m[38;5;12mauthentication,[39m[38;5;12m [39m[38;5;12musers,[39m[38;5;12m [39m[38;5;12mpermissions,[39m[38;5;12m [39m[38;5;12mmanaging[39m[38;5;12m [39m[38;5;12mcomments,[39m[38;5;12m [39m[38;5;12mtags,[39m[38;5;12m [39m[38;5;12mvotes,[39m[38;5;12m [39m[38;5;12mdocuments,[39m[38;5;12m [39m[38;5;12mimages.[39m
[48;5;235m[38;5;249m- **dynamo** (https://github.com/stcarrez/dynamo) - Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models.[49m[39m
[48;5;235m[38;5;249m- **ada-wiki** (https://github.com/stcarrez/ada-wiki) - Ada Wiki is a small library that provides a Wiki engine.[49m[39m[48;5;235m[38;5;249m                                                                                       [49m[39m
[48;5;235m[38;5;249m- **ada-security** (https://github.com/stcarrez/ada-security) - OAuth 2.0 client and server framework to secure web applications.[49m[39m[48;5;235m[38;5;249m                                                                      [49m[39m
[48;5;235m[38;5;249m- **ada-el** (https://github.com/stcarrez/ada-el) - This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).[49m[39m[48;5;235m[38;5;249m                             [49m[39m
[48;5;235m[38;5;249m- **ada-asf** (https://github.com/stcarrez/ada-asf) - Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344).[49m[39m[48;5;235m[38;5;249m           [49m[39m
[48;5;235m[38;5;249m- **ada-servlet** (https://github.com/stcarrez/ada-servlet) - Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).[49m[39m[48;5;235m[38;5;249m                         [49m[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mswagger-ada[0m[38;5;12m [39m[38;5;12m(https://github.com/stcarrez/swagger-ada)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12msupport[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mSwagger[39m[38;5;12m [39m[38;5;12mcodegen:[39m[38;5;12m [39m[38;5;12mOpenAPI[39m[38;5;12m [39m[38;5;12mGenerator[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mcode[39m[38;5;12m [39m[38;5;12mgenerator[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12msupports[39m[38;5;12m [39m[38;5;12mgeneration[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mAPI[39m[38;5;12m [39m[38;5;12mclient[39m[38;5;12m [39m[38;5;12mlibraries,[39m[38;5;12m [39m[38;5;12mserver[39m[38;5;12m [39m[38;5;12mstubs[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mdocumentation[39m[38;5;12m [39m[38;5;12mautomatically[39m[38;5;12m [39m[38;5;12mgiven[39m[38;5;12m [39m[38;5;12man[39m[38;5;12m [39m
[38;5;12mOpenAPI[39m[38;5;12m [39m[38;5;12mSpec.[39m
[38;5;12m- [39m[38;5;14m[1mews[0m[38;5;12m (https://github.com/simonjwright/ews) - Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler.[39m
[38;5;12m- [39m[38;5;14m[1mmatreshka[0m[38;5;12m (https://github.com/godunko/matreshka) - Matreshka is an Ada framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework.[39m

[38;5;14m[1mmatreshka[0m[38;5;12m : https://github.com/godunko/matreshka[39m

[38;2;255;187;0m[4mUnit Test, Testing[0m
[38;5;12m- [39m[38;5;14m[1mahven[0m[38;5;12m (http://ahven.stronglytyped.org/) - Ahven is a simple unit test library and framework for the Ada programming.[39m
[38;5;12mlanguage.  It is loosely modelled after JUnit and some ideas from AUnit.[39m
[38;5;12m- [39m[38;5;14m[1maunit[0m[38;5;12m (https://github.com/AdaCore/aunit) - Ada unit testing framework.[39m
[38;5;12m- [39m[38;5;14m[1mgnatbdd[0m[38;5;12m (https://github.com/briot/gnatbdd) - Behavior Driven Development in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mscripted-testing[0m[38;5;12m (https://github.com/simonjwright/scripted_testing) - Supports functional testing using Tcl scripts.[39m

[38;2;255;187;0m[4mLogging[0m
[38;5;12m- [39m[38;5;14m[1malog[0m[38;5;12m (https://www.codelabs.ch/alog/) - Alog is a stackable logging framework for Ada.[39m

[38;2;255;187;0m[4mMachine Learning[0m
[38;5;12m- [39m[38;5;14m[1mfuzzyml[0m[38;5;12m (https://sourceforge.net/projects/fuzzyml/) - Fuzzy machine learning framework.[39m

[38;2;255;187;0m[4mAutomation[0m
[38;5;12m- [39m[38;5;14m[1maicwl[0m[38;5;12m (http://www.dmitry-kazakov.de/ada/aicwl.htm) - Collection of packages provided for design of high-quality industrial control widgets for Ada applications.[39m
[38;5;12m- [39m[38;5;14m[1mada-for-automation[0m[38;5;12m (https://gitlab.com/ada-for-automation/ada-for-automation) - A4A is a framework for designing industrial automation applications using the Ada language.[39m

[38;5;14m[1maicwl[0m[38;5;12m : http://www.dmitry-kazakov.de/ada/aicwl.htm[39m

[38;2;255;187;0m[4mTools[0m

[38;2;255;187;0m[4mDevOps[0m
[38;5;12m- [39m[38;5;14m[1mseptum[0m[38;5;12m (https://github.com/pyjarrett/septum) - An interactive context-based text search tool for searching large codebases.[39m
[38;5;12m- [39m[38;5;14m[1mpowerjoular[0m[38;5;12m (https://github.com/joular/powerjoular) - PowerJoular allows monitoring power consumption of multiple platforms and processes.[39m
[38;5;12m- [39m[38;5;14m[1mmat[0m[38;5;12m (https://github.com/stcarrez/mat) - MAT is a simple memory analysis tool intended to help understand where the memory is used in a program.[39m

[38;2;255;187;0m[4mVerification[0m
[38;5;12m- [39m[38;5;14m[1mgnat-coverage[0m[38;5;12m (https://github.com/AdaCore/gnatcoverage) - GNATcoverage is a tool to analyze and report program coverage.[39m
[38;5;12m- [39m[38;5;14m[1madacontrol[0m[38;5;12m (https://www.adalog.fr/en/adacontrol.html) - Ada constructs lint tool.[39m
[38;5;12m- [39m[38;5;14m[1mspark-2014[0m[38;5;12m (https://github.com/AdaCore/spark2014/) - SPARK formal verification toolset.[39m
[38;5;12m- [39m[38;5;14m[1macats[0m[38;5;12m (https://github.com/simonjwright/ACATS) - The Ada Conformity Assessment Test Suite, customised for GCC.[39m
[38;5;12m- [39m[38;5;14m[1macats-grading[0m[38;5;12m (https://github.com/simonjwright/ACATS-grading) - Tools for grading ACATS results, modified for Unix-like systems.[39m

[38;2;255;187;0m[4mGeneration[0m
[38;5;12m- [39m[38;5;14m[1masn1scc[0m[38;5;12m (https://github.com/ttsiodras/asn1scc) - ASN1SCC: An open source ASN.1 generator to Ada type declarations and encoders/decoders.[39m
[38;5;12m- [39m[38;5;14m[1mocarina[0m[38;5;12m (https://github.com/OpenAADL/ocarina) - AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL.[39m
[38;5;12m- [39m[38;5;14m[1mfmt[0m[38;5;12m (http://www.inspirel.com/fmt/) - Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.[39m
[38;5;12m- [39m[38;5;14m[1mautomate[0m[38;5;12m (https://github.com/Blady-Com/Automate) - Finite-state machine generator.[39m
[38;5;12m- [39m[38;5;14m[1majunitgen[0m[38;5;12m (https://github.com/mosteo/ajunitgen) - Generator of JUnit-compatible XML reports in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mrecord-flux[0m[38;5;12m (https://github.com/Componolit/RecordFlux) - RecordFlux: Toolset for the formal specification of messages and the generation of verifiable binary parsers and message generators in SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mresource-embedder[0m[38;5;12m (https://gitlab.com/stcarrez/resource-embedder) - Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files.[39m

[38;2;255;187;0m[4mUML[0m
[38;5;12m- [39m[38;5;14m[1mada-ml[0m[38;5;12m (https://github.com/rocher/AdaML) - Ada-tailored UML Modeling Language.[39m
[38;5;12m- [39m[38;5;14m[1mcoldframe[0m[38;5;12m (https://github.com/simonjwright/coldframe) - ColdFrame generates Ada framework code and documentation from UML models.[39m
[38;5;12m- [39m[38;5;14m[1mumbrello[0m[38;5;12m (https://apps.kde.org/es/umbrello/) - Unified Modelling Language (UML) diagram program based on KDE Technology. Outputs Ada.[39m

[38;2;255;187;0m[4mEncryption[0m
[38;5;12m- [39m[38;5;14m[1mada-keystore[0m[38;5;12m (https://github.com/stcarrez/ada-keystore) - Ada Keystore - protect your sensitive data with secure storage.[39m

[38;2;255;187;0m[4mLibraries[0m

[38;2;255;187;0m[4mMath[0m
[38;5;12m- [39m[38;5;14m[1mmath-packages[0m[38;5;12m (https://github.com/jscparker/math_packages) - Collection of basic math routines in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mmathpaqs[0m[38;5;12m (https://github.com/zertovitch/mathpaqs) - Mathpaqs is a collection of mathematical, 100% portable, packages in the Ada programming language.[39m
[38;5;12m- [39m[38;5;14m[1mmandelbrot-ascii[0m[38;5;12m (https://github.com/mosteo/mandelbrot_ascii) - Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless).[39m
[38;5;12m- [39m[38;5;14m[1mlalg[0m[38;5;12m (https://github.com/jhumphry/LALG) - Interface to dense linear algebra packages.[39m
[38;5;12m- [39m[38;5;14m[1mgeo-energy-math[0m[38;5;12m (https://github.com/pukpr/GeoEnergyMath) - Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018).[39m
[38;5;12m- [39m[38;5;14m[1mmatrix-root[0m[38;5;12m (https://gitlab.com/mockturtle/matrix-root) - Compute the N-th root of a matrix.[39m
[38;5;12m- [39m[38;5;14m[1mhungarian[0m[38;5;12m (https://github.com/mosteo/hungarian) - Ada binding to the fast Stachniss' Hungarian solver.[39m

[38;2;255;187;0m[4mScience[0m
[38;5;12m- [39m[38;5;14m[1msi[0m[38;5;12m (http://archive.adaic.com/tools/CKWG/Dimension/SI.html) - SI units checked and unchecked.[39m
[38;5;12m- [39m[38;5;14m[1munits-of-measurement[0m[38;5;12m (http://www.dmitry-kazakov.de/ada/units.htm) - Library to manage units of measurement with dimension checking.[39m
[38;5;12m- [39m[38;5;14m[1msi_units[0m[38;5;12m (https://github.com/HeisenbugLtd/si_units) - Utility library to pretty print physical values in proper metric units.[39m
[38;5;12m [39m
[38;2;255;187;0m[4mAlgorithms, Containers and Protocols[0m
[38;5;12m- [39m[38;5;14m[1mada-language-server[0m[38;5;12m (https://github.com/AdaCore/ada_language_server) - Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mada-lsp[0m[38;5;12m (https://github.com/reznikmm/ada-lsp) - Language Server Protocol for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-lsp-client[0m[38;5;12m (https://github.com/Alex-Gamper/Ada-LanguageServer) - Prototype implementation of LSP client - Visual Studio 2017.[39m
[38;5;12m- [39m[38;5;14m[1mada-traits-containers[0m[38;5;12m (https://github.com/AdaCore/ada-traits-containers) - Generic Ada Library for Algorithms and Containers.[39m
[38;5;12m- [39m[38;5;14m[1mdequesterity[0m[38;5;12m (https://sourceforge.net/projects/dequesterity/) - Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers.[39m
[38;5;12m- [39m[38;5;14m[1mpragmarc[0m[38;5;12m (https://github.com/jrcarter/PragmARC) - PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering.[39m
[38;5;12m- [39m[38;5;14m[1mbooch95[0m[38;5;12m (https://sourceforge.net/projects/booch95/) - The Ada 95 Booch components are a port of Grady Booch's C++ components.[39m
[38;5;12m- [39m[38;5;14m[1mada-id[0m[38;5;12m (https://github.com/anthony-arnold/AdaID) - Simple Ada library for generating UUIDs.[39m
[38;5;12m- [39m[38;5;14m[1mada-ga[0m[38;5;12m (https://github.com/frett27/Ada-GA) - Genetic Algorithm Implementation for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-sodoku[0m[38;5;12m (https://github.com/frett27/Ada-Sodoku) - Small Library for Sodoku grid solving / finding.[39m
[38;5;12m- [39m[38;5;14m[1msl3p[0m[38;5;12m (https://github.com/jklmnn/sl3p) - Simple Layer 3 Protocol.[39m
[38;5;12m- [39m[38;5;14m[1msmart-pointers[0m[38;5;12m (https://github.com/alire-project/smart_pointers) - A package providing a reference-counted access type Smart_Pointer.[39m
[38;5;12m- [39m[38;5;14m[1mhungarian-algorithm[0m[38;5;12m (https://github.com/fastrgv/HungarianAlgorithm) - Hungarian Algorithm implementation in Ada.[39m
[38;5;12m- [39m[38;5;14m[1msal[0m[38;5;12m (https://www.stephe-leake.org/ada/sal.html) - SAL (Stephe's Ada Library).[39m
[38;5;12m- [39m[38;5;14m[1mnb-ada[0m[38;5;12m (https://github.com/andgi/NBAda) - NBAda : An Ada library of lock-free data structures and algorithms.[39m
[38;5;12m- [39m[38;5;14m[1mparaffin[0m[38;5;12m (https://sourceforge.net/projects/paraffin/) - A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.[39m
[38;5;12m- [39m[38;5;14m[1mdeepend[0m[38;5;12m (https://sourceforge.net/projects/deepend/) - Deepend is a storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95.[39m
[38;5;12m- [39m[38;5;14m[1mcharles[0m[38;5;12m (https://web.archive.org/web/20161207211935/https://home.earthlink.net/~matthewjheaney/charles/) - Charles is an Ada 95 container library, precursor to Ada 2005+ standard containers.[39m
[38;5;12m- [39m[38;5;14m[1msimple-blockchain[0m[38;5;12m (https://github.com/tomekw/simple_blockchain) - Simple blockchain in Ada.[39m
[38;5;12m- [39m[38;5;14m[1madagio[0m[38;5;12m (https://github.com/mosteo/adagio) - Gnutella2 (G2) network server leaf.[39m
[38;5;12m- [39m[38;5;14m[1magpl[0m[38;5;12m (https://github.com/mosteo/agpl) - Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).[39m
[38;5;12m- [39m[38;5;14m[1maz3[0m[38;5;12m (https://github.com/Componolit/AZ3) - Ada binding for Z3.[39m
[38;5;12m- [39m[38;5;14m[1mchests[0m[38;5;12m (https://github.com/JeremyGrosser/chests) - Chests are bounded containers.[39m

[38;5;14m[1mada-language-server[0m[38;5;12m : https://github.com/AdaCore/ada_language_server[39m

[38;2;255;187;0m[4mCryptography[0m
[38;5;12m- [39m[38;5;14m[1mthreefish[0m[38;5;12m (https://github.com/jrcarter/Threefish) - Ada Implementation of the Threefish-256 Encryption Algorithm.[39m
[38;5;12m- [39m[38;5;14m[1mfletcher[0m[38;5;12m (https://github.com/darkestkhan/fletcher) - Trivial implementation of fletcher_16 checksum computation algorithm.[39m
[38;5;12m- [39m[38;5;14m[1mbase58-ada[0m[38;5;12m (https://github.com/MichaelAllenHardeman/base58_ada) - Base58 encoding and decoding in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-crypto-library[0m[38;5;12m (https://github.com/cforler/Ada-Crypto-Library) - This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture.[39m
[38;5;12m- [39m[38;5;14m[1mlibsparkcrypto[0m[38;5;12m (https://github.com/Componolit/libsparkcrypto) - A cryptographic library implemented in SPARK.[39m
[38;5;12m- [39m[38;5;14m[1msip-hash[0m[38;5;12m (https://github.com/grim7reaper/SipHash) - A pure Ada implementation of the SipHash PRF.[39m
[38;5;12m- [39m[38;5;14m[1mlibkeccak[0m[38;5;12m (https://github.com/damaki/libkeccak) - A SPARK implementation of the Keccak family of sponge functions and related constructions.[39m
[38;5;12m- [39m[38;5;14m[1mascon-spark[0m[38;5;12m (https://github.com/jhumphry/Ascon_SPARK) - Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.[39m
[38;5;12m- [39m[38;5;14m[1mspark-sip-hash[0m[38;5;12m (https://github.com/jhumphry/SPARK_SipHash) - Ada/SPARK implementation of the SipHash keyed hash function.[39m
[38;5;12m- [39m[38;5;14m[1mspark-norx[0m[38;5;12m (https://github.com/jhumphry/SPARK_NORX) - Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.[39m
[38;5;12m- [39m[38;5;14m[1mspark-nacl[0m[38;5;12m (https://github.com/rod-chapman/SPARKNaCl) - SPARK 2014 re-implementation of the TweetNaCl crypto library.[39m
[38;5;12m- [39m[38;5;14m[1mstotp[0m[38;5;12m (https://github.com/jklmnn/STOTP) - Timed One-Time-Pad (RFC 6238) implementation in SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mxxhash-ada[0m[38;5;12m (https://github.com/lyarbean/xxhash-ada) - Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits.[39m
[38;5;12m- [39m[38;5;14m[1mlibsodium-ada[0m[38;5;12m (https://github.com/jrmarino/libsodium-ada) - A secure cryptographic library (libsodium for Ada).[39m
[38;5;12m- [39m[38;5;14m[1mada-libsecret[0m[38;5;12m (https://github.com/stcarrez/ada-libsecret) - Ada Binding for the libsecret library.[39m
[38;5;12m- [39m[38;5;14m[1mblake2s[0m[38;5;12m (https://github.com/lkujaw/blake2s) - SPARK83 implementation of the BLAKE2s hash function.[39m

[38;2;255;187;0m[4mCompression[0m
[38;5;12m- [39m[38;5;14m[1mzip-ada[0m[38;5;12m (https://github.com/zertovitch/zip-ada) - Zip-Ada is a programming library for dealing with the Zip compressed archive file format.[39m
[38;5;12m- [39m[38;5;14m[1mada-lzma[0m[38;5;12m (https://github.com/stcarrez/ada-lzma) - Ada binding for liblzma compression library.[39m
[38;5;12m- [39m[38;5;14m[1mdcf-ada[0m[38;5;12m (https://github.com/onox/dcf-ada) - An Ada 2012 library for document container files (Based on [39m[38;5;14m[1mzip-ada[0m[38;5;12m ).[39m

[38;5;14m[1mzip-ada[0m[38;5;12m : https://github.com/zertovitch/zip-ada[39m

[38;2;255;187;0m[4mPatterns[0m
[38;5;12m- [39m[38;5;14m[1mada-promises[0m[38;5;12m (https://github.com/briot/Ada-promises) - Implementing promises in Ada. Type-safe, efficient, thread-safe.[39m
[38;5;12m- [39m[38;5;14m[1mreqrep-task-pools[0m[38;5;12m (https://github.com/jhumphry/Reqrep_Task_Pools) - Task pool system for jobs.[39m
[38;5;12m- [39m[38;5;14m[1mrxada[0m[38;5;12m (https://github.com/mosteo/rxada) - An Ada 2012 implementation of the Rx methodology.[39m

[38;2;255;187;0m[4mSystem Modeling[0m
[38;5;12m- [39m[38;5;14m[1mada-fuzzy[0m[38;5;12m (https://github.com/briot/adafuzzy) - A fuzzy inference system library for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mradalib[0m[38;5;12m (https://github.com/sergio-gomez/Radalib) - Ada library and tools for the analysis of Complex Networks and more.[39m

[38;2;255;187;0m[4mParsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters[0m
[38;5;12m- [39m[38;5;14m[1mlibadalang[0m[38;5;12m (https://github.com/AdaCore/libadalang/) - Libadalang is a library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc).[39m
[38;5;12m- [39m[38;5;14m[1maflex-ayacc[0m[38;5;12m (https://blog.vacs.fr/vacs/blogs/post.html?post=2021/12/18/Aflex-1.5-and-Ayacc-1.3.0) - Ada scanner and parser generators.[39m
[38;5;12m- [39m[38;5;14m[1mwisitoken[0m[38;5;12m (https://stephe-leake.org/ada/wisitoken.html) - WisiToken is an LALR, LR1, and Packrat parser generator and run-time.[39m
[38;5;12m- [39m[38;5;14m[1mgela[0m[38;5;12m (https://github.com/reznikmm/gela) - Ada code analyzer.[39m
[38;5;12m- [39m[38;5;14m[1managram[0m[38;5;12m (https://github.com/reznikmm/anagram) - Grammar handling and parser generation Ada library.[39m
[38;5;12m- [39m[38;5;14m[1mada-pretty[0m[38;5;12m (https://github.com/reznikmm/ada-pretty) - Pretty printing library for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mincrement[0m[38;5;12m (https://github.com/reznikmm/increment) - Incremental analysis in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mparse-args[0m[38;5;12m (https://github.com/jhumphry/parse_args) - Simple command-line argument parsing.[39m
[38;5;12m- [39m[38;5;14m[1maforth[0m[38;5;12m (https://github.com/samueltardieu/aforth) - Embeddable Forth interpreter written in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mparser-tools[0m[38;5;12m (https://github.com/flyx/ParserTools) - Tools for writing lexers / parsers in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mxia[0m[38;5;12m (https://github.com/simonjwright/xia) - An Ada implementation of XPath 1.0.[39m

[38;2;255;187;0m[4mFormat Readers, Writers and Checkers[0m
[38;5;12m- [39m[38;5;14m[1mini-files[0m[38;5;12m (https://github.com/zertovitch/ini-files) - The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.[39m
[38;5;12m- [39m[38;5;14m[1mprotobuf-ada[0m[38;5;12m (https://github.com/persan/protobuf-ada) - Experimental Ada code generation support for Google Protocol Buffers.[39m
[38;5;12m- [39m[38;5;14m[1mprotobuf[0m[38;5;12m (https://github.com/reznikmm/protobuf) - A Google Protocol Buffers implementation in Ada, using [39m[38;5;14m[1mmatreshka[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mada-yaml[0m[38;5;12m (https://github.com/yaml/AdaYaml) - Experimental YAML 1.3 implementation in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mjson-ada[0m[38;5;12m (https://github.com/onox/json-ada) - An Ada 2012 library for parsing JSON.[39m
[38;5;12m- [39m[38;5;14m[1mjwx[0m[38;5;12m (https://github.com/Componolit/jwx) - A formally verified JSON library in SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mxmlada[0m[38;5;12m (https://github.com/AdaCore/xmlada) - The XML/Ada toolkit.[39m
[38;5;12m- [39m[38;5;14m[1mxml-ez-out[0m[38;5;12m (https://github.com/alire-project/xmlezout) - Library for emitting XML from Ada programs.[39m
[38;5;12m- [39m[38;5;14m[1mspark-xml[0m[38;5;12m (https://github.com/Componolit/SXML) - A formally verified XML library in SPARK.[39m
[38;5;12m- [39m[38;5;14m[1mexcel-writer[0m[38;5;12m (https://github.com/zertovitch/excel-writer) - Create Excel files with basic formats.[39m
[38;5;12m- [39m[38;5;14m[1mgeneric-image-decoder[0m[38;5;12m (https://github.com/zertovitch/gid) - Multi-format image decoder library for Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-pdf-writer[0m[38;5;12m (https://github.com/zertovitch/ada-pdf-writer) - Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG).[39m
[38;5;12m- [39m[38;5;14m[1mada-midi[0m[38;5;12m (https://github.com/frett27/Ada-Midi) - Implementation of Midi / MidiFile reading and writing.[39m
[38;5;12m- [39m[38;5;14m[1mada-bar-codes[0m[38;5;12m (https://github.com/zertovitch/ada-bar-codes) - Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG.[39m
[38;5;12m- [39m[38;5;14m[1mada-bin2asc[0m[38;5;12m (https://github.com/jhumphry/Ada_BinToAsc) - Various binary-to-ASCII codecs such as Base64.[39m
[38;5;12m- [39m[38;5;14m[1mabf-io[0m[38;5;12m (https://github.com/gerr135/abf_io) - A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mada-toml[0m[38;5;12m (https://github.com/pmderodat/ada-toml) - TOML parser for Ada.[39m
[38;5;12m- [39m[38;5;14m[1muri-ada[0m[38;5;12m (https://git.sr.ht/~nytpu/uri-ada) - URI and MIME parser & manipulation library.[39m
[38;5;12m- [39m[38;5;14m[1mada-libmagic[0m[38;5;12m (https://gitlab.com/stcarrez/ada-libmagic) - Magic Number Recognition Library Ada binding (libmagic (3)).[39m

[38;5;14m[1mada-toml[0m[38;5;12m : https://github.com/pmderodat/ada-toml[39m

[38;2;255;187;0m[4mNetworking and Communication Middleware[0m
[38;5;12m- [39m[38;5;14m[1manet[0m[38;5;12m (https://www.codelabs.ch/anet/) - Anet is a networking library for the Ada programming language.[39m
[38;5;12m- [39m[38;5;14m[1madhcp[0m[38;5;12m (https://codelabs.ch/adhcp/index.html) - ADHCP is an implementation of the DHCP protocol in Ada.[39m
[38;5;12m- [39m[38;5;14m[1madasockets[0m[38;5;12m (https://github.com/samueltardieu/adasockets) - IPv4 socket library (TCP, UDP, and multicast).[39m
[38;5;12m- [39m[38;5;14m[1mdbus-ada[0m[38;5;12m (https://codelabs.ch/dbus-ada/index.html) - The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system.[39m
[38;5;12m- [39m[38;5;14m[1mzeromq-ada[0m[38;5;12m (https://github.com/persan/zeromq-Ada.git) - Binding to the ZeroMQ comunications-library.[39m
[38;5;12m- [39m[38;5;14m[1mtomi-4-ada[0m[38;5;12m (https://sourceforge.net/projects/tomi4ada) - Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications.[39m
[38;5;12m- [39m[38;5;14m[1mmosquitto-ada[0m[38;5;12m (https://github.com/persan/mosquitto-ada) - Binding for the MQTT broker Mosquitto.[39m
[38;5;12m- [39m[38;5;14m[1mtlsada[0m[38;5;12m (https://git.sr.ht/~nytpu/tlsada) - Bindings to the libtls TLS/SSL library.[39m
[38;5;12m- [39m[38;5;14m[1mkafka-ada[0m[38;5;12m (https://github.com/Latence-Technologies/Kafka-Ada) - Binding for the C librdkafka library, allows sending and receiving from a Kafka bus.[39m
[38;5;12m- [39m[38;5;14m[1madare-net[0m[38;5;12m (https://gitlab.com/daresoft/network/adare_net) - This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too.[39m
[38;5;12m- [39m[38;5;14m[1mpcsc-ada[0m[38;5;12m (https://www.codelabs.ch/pcscada) - PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.[39m

[38;2;255;187;0m[4mChatting and Communication[0m
[38;5;12m- [39m[38;5;14m[1maxmpp[0m[38;5;12m (https://github.com/coopht/axmpp) - With the AXMPP library you can connect to a Jabber server to send and receive messages.[39m
[38;5;12m- [39m[38;5;14m[1mweechat-ada[0m[38;5;12m (https://github.com/onox/weechat-ada) - Ada 2012 library for WeeChat plug-ins.[39m
[38;5;12m- [39m[38;5;14m[1mweechat-canberra[0m[38;5;12m (https://github.com/onox/weechat-canberra) - A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra.[39m
[38;5;12m- [39m[38;5;14m[1mweechat-emoji[0m[38;5;12m (https://github.com/onox/weechat-emoji) - A WeeChat plug-in written in Ada 2012 that displays emoji.[39m

[38;2;255;187;0m[4mWeb[0m
[38;5;12m- [39m[38;5;14m[1mtemplate-parser[0m[38;5;12m (https://github.com/AdaCore/templates-parser) - AWS templates engine.[39m

[38;5;14m[1mtemplate-parser[0m[38;5;12m : https://github.com/AdaCore/templates-parser[39m

[38;2;255;187;0m[4mGraphics and Multimedia[0m
[38;5;12m- [39m[38;5;14m[1morka[0m[38;5;12m (https://github.com/onox/orka) - The OpenGL 4.6 Rendering Kernel in Ada 2012.[39m
[38;5;12m- [39m[38;5;14m[1mopengl-ada[0m[38;5;12m (https://github.com/flyx/OpenGLAda) - Thick Ada binding for OpenGL and GLFW.[39m
[38;5;12m- [39m[38;5;14m[1madagl[0m[38;5;12m (https://github.com/godunko/adagl) - Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL).[39m
[38;5;12m- [39m[38;5;14m[1msdlada[0m[38;5;12m (https://github.com/Lucretia/sdlada) - Ada 2012 bindings to SDL 2.[39m
[38;5;12m- [39m[38;5;14m[1mada-nanovg[0m[38;5;12m (https://github.com/raph-amiard/ada-nanovg) - Ada bindings to NanoVG.[39m
[38;5;12m- [39m[38;5;14m[1mfree-type-ada[0m[38;5;12m (https://github.com/flyx/FreeTypeAda) - FreeType binding for Ada 2005.[39m
[38;5;12m- [39m[38;5;14m[1masfml[0m[38;5;12m (https://github.com/mgrojo/ASFML) - Ada binding to the Simple and Fast Multimedia Library.[39m
[38;5;12m- [39m[38;5;14m[1mplplot[0m[38;5;12m (https://sourceforge.net/projects/plplot/) - Cross-platform, scientific graphics plotting library, including an Ada binding.[39m
[38;5;12m- [39m[38;5;14m[1mvulkada[0m[38;5;12m (https://phasercat.com/vulkada/) - A complete Vulkan 1.1 thick binding for Ada 2012.[39m

[38;5;14m[1masfml[0m[38;5;12m : https://github.com/mgrojo/ASFML[39m
[38;5;14m[1mplplot[0m[38;5;12m : https://sourceforge.net/projects/plplot/[39m


[38;2;255;187;0m[4mGeneral Purpose Computing[0m
[38;5;12m- [39m[38;5;14m[1mcuda[0m[38;5;12m (https://github.com/AdaCore/cuda) - CUDA support from AdaCore.[39m
[38;5;12m- [39m[38;5;14m[1mcuda-ada[0m[38;5;12m (https://codelabs.ch/cuda-ada/index.html) - CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.[39m
[38;5;12m- [39m[38;5;14m[1mopencl-ada[0m[38;5;12m (https://github.com/flyx/OpenCLAda) - An Ada binding for the OpenCL host API.[39m
[38;5;12m- [39m[38;5;14m[1mboehmgc-ada[0m[38;5;12m (https://github.com/ytomino/boehmgc-ada) - Ada binding to the Boehm-Demers-Weiser conservative garbage collector.[39m
[38;5;12m- [39m[38;5;14m[1mada-bfd[0m[38;5;12m (https://github.com/stcarrez/ada-bfd) - An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.[39m

[38;2;255;187;0m[4mSound[0m
[38;5;12m- [39m[38;5;14m[1mopus-ada[0m[38;5;12m (https://github.com/onox/opus-ada) - Ada 2012 bindings for the Opus audio codec.[39m
[38;5;12m- [39m[38;5;14m[1mcanberra-ada[0m[38;5;12m (https://github.com/onox/canberra-ada) - Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications.[39m
[38;5;12m- [39m[38;5;14m[1mada-soundio[0m[38;5;12m (https://github.com/raph-amiard/ada-soundio) - Ada bindings for libsoundio.[39m
[38;5;12m- [39m[38;5;14m[1moto[0m[38;5;12m (https://github.com/darkestkhan/oto) - Ada binding to OpenAL which tries to mimic original API while using Ada types.[39m
[38;5;12m- [39m[38;5;14m[1mcoreland-openal-ada[0m[38;5;12m (https://github.com/io7m/coreland-openal-ada) - Ada binding to OpenAL.[39m
[38;5;12m- [39m[38;5;14m[1mada-synthetizer[0m[38;5;12m (https://github.com/frett27/Ada-Synthetizer) - Sound Synthetizer Library implemented in Ada.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mscala[0m[38;5;12m [39m[38;5;12m(https://www.huygens-fokker.org/scala)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mScala[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mpowerful[39m[38;5;12m [39m[38;5;12msoftware[39m[38;5;12m [39m[38;5;12mtool[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mexperimentation[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mmusical[39m[38;5;12m [39m[38;5;12mtunings,[39m[38;5;12m [39m[38;5;12msuch[39m[38;5;12m [39m[38;5;12mas[39m[38;5;12m [39m[38;5;12mjust[39m[38;5;12m [39m[38;5;12mintonation[39m[38;5;12m [39m[38;5;12mscales,[39m[38;5;12m [39m[38;5;12mequal[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mhistorical[39m[38;5;12m [39m[38;5;12mtemperaments,[39m[38;5;12m [39m[38;5;12mmicrotonal[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mmacrotonal[39m[38;5;12m [39m[38;5;12mscales,[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m
[38;5;12mnon-Western[39m[38;5;12m [39m[38;5;12mscales.[39m
[38;5;12m- [39m[38;5;14m[1mportable-openal-sound[0m[38;5;12m (https://github.com/fastrgv/portable-openal-sound) - A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds.[39m
[38;5;12m- [39m[38;5;14m[1madaogg[0m[38;5;12m (https://phasercat.com/adaogg/) - Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.[39m

[38;2;255;187;0m[4mLocalization[0m
[38;5;12m- [39m[38;5;14m[1mzanyblue[0m[38;5;12m (https://sourceforge.net/projects/zanyblue/) - An Ada package allowing the externalization of application messages into a properties file.[39m
[38;5;12m- [39m[38;5;14m[1mada-intl[0m[38;5;12m (https://gitlab.com/stcarrez/ada-intl) - NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)).[39m

[38;2;255;187;0m[4mUtilities[0m
[38;5;12m- [39m[38;5;14m[1mauto-counters[0m[38;5;12m (https://github.com/jhumphry/auto_counters) - Reference counting approaches to resource management.[39m
[38;5;12m- [39m[38;5;14m[1ma-stream-tools[0m[38;5;12m (https://github.com/persan/a-stream-tools.git) - Stream utilities for Ada2005 and 2012.[39m
[38;5;12m- [39m[38;5;14m[1mssprep[0m[38;5;12m (https://github.com/persan/ssprep.git) - An extensible template engine akin to jinja but using [39m[38;5;14m[1mtemplate-parser[0m[38;5;12m  and intended for command line usage.[39m
[38;5;12m- [39m[38;5;14m[1mlicensing[0m[38;5;12m (https://github.com/mosteo/licensing) - Open Source Licenses library for Ada.[39m
[38;5;12m- [39m[38;5;14m[1msimple-logging[0m[38;5;12m (https://github.com/alire-project/simple_logging) - Easy to use logging facilities for output to console in Ada programs.[39m
[38;5;12m- [39m[38;5;14m[1mrsfile[0m[38;5;12m (https://github.com/mosteo/rsfile) - Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.[39m
[38;5;12m- [39m[38;5;14m[1mcstrings[0m[38;5;12m (https://github.com/mosteo/cstrings) - Convenience subprograms to interact with C strings.[39m
[38;5;12m- [39m[38;5;14m[1mcvsweb2git[0m[38;5;12m (https://github.com/reznikmm/cvsweb2git) - Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.[39m
[38;5;12m- [39m[38;5;14m[1mada-bundler[0m[38;5;12m (https://github.com/flyx/ada-bundler) - Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.[39m
[38;5;12m- [39m[38;5;14m[1mmacos-sdks-vs-gcc[0m[38;5;12m (https://github.com/simonjwright/macos-sdks-vs-gcc) - Provides GCC 'specs' files to cope with SDK policy changes.[39m
[38;5;12m- [39m[38;5;14m[1mux-strings[0m[38;5;12m (https://github.com/Blady-Com/UXStrings) - Unicode extended strings.[39m
[38;5;12m- [39m[38;5;14m[1mgetopt-ada[0m[38;5;12m (https://git.sr.ht/~nytpu/getopt-ada) - Portable implementation of getopt(3) in Ada.[39m

[38;2;255;187;0m[4mRobotics[0m
[38;5;12m- [39m[38;5;14m[1mrclada[0m[38;5;12m (https://github.com/ada-ros/rclada) - Ada client library for ROS2/RCL.[39m
[38;5;12m- [39m[38;5;14m[1mplayer-ada[0m[38;5;12m (https://github.com/mosteo/player-ada) - Ada bindings for the player robotic platform.[39m

[38;2;255;187;0m[4mLinux and POSIX[0m
[38;5;12m- [39m[38;5;14m[1mflorist[0m[38;5;12m (https://www.cs.fsu.edu/~baker/florist.html) - POSIX Ada binding, IEEE Standards 1003.5(b,c).[39m
[38;5;12m- [39m[38;5;14m[1mwposix[0m[38;5;12m (https://github.com/AdaCore/wposix) - Ada Windows POSIX binding.[39m
[38;5;12m- [39m[38;5;14m[1mada-v4l2[0m[38;5;12m (https://github.com/frett27/AdaV4L2) - Ada Posix Binding to Video 4 Linux, used for RPI.[39m
[38;5;12m- [39m[38;5;14m[1minotify-ada[0m[38;5;12m (https://github.com/onox/inotify-ada) - An Ada 2012 library for monitoring filesystem events using Linux' inotify API.[39m
[38;5;12m- [39m[38;5;14m[1mdl-ada[0m[38;5;12m (https://github.com/mosteo/dl-ada) - Minimal binding to libdl.[39m
[38;5;12m- [39m[38;5;14m[1msuid-helper[0m[38;5;12m (https://gitlab.com/mockturtle/suid-helper) - Small Ada library that helps in writing safer suid programs.[39m

[38;2;255;187;0m[4mWindows and .NET[0m
[38;5;12m- [39m[38;5;14m[1mwin32ada[0m[38;5;12m (https://github.com/AdaCore/win32ada) - Ada API to the Windows library.[39m
[38;5;12m- [39m[38;5;14m[1mada-net-framework[0m[38;5;12m (https://github.com/Alex-Gamper/Ada-NetFramework) - Ada bindings to the Microsoft NetFramework Api.[39m
[38;5;12m- [39m[38;5;14m[1mada-winrt[0m[38;5;12m (https://github.com/Alex-Gamper/Ada-WinRT) - Ada bindings for the Microsft WinRT Api.[39m
[38;5;12m- [39m[38;5;14m[1mada-win32[0m[38;5;12m (https://github.com/Alex-Gamper/Ada-Win32) - Ada bindings for the Microsoft Win32 Api.[39m

[38;2;255;187;0m[4mBindings to Other Languages[0m
[38;5;12m- [39m[38;5;14m[1mtcl-ada-shell[0m[38;5;12m (https://github.com/simonjwright/tcladashell) - Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk.[39m
[38;5;12m- [39m[38;5;14m[1mtashy[0m[38;5;12m (https://github.com/thindil/tashy) - Tashy is short from Tcl Ada SHell Younger. It is derivate of Tash, focused mostly on Tk binding.[39m
[38;5;12m- [39m[38;5;14m[1mtashy2[0m[38;5;12m (https://github.com/thindil/tashy2) - Tashy2 is short from Tcl Ada SHell Younger. It is derivate of Tashy, and aims to be more idiomatic and uses a more permisive license.[39m
[38;5;12m- [39m[38;5;14m[1mada-lua[0m[38;5;12m (https://github.com/AdaCore/ada-lua) - Ada binding for Lua.[39m
[38;5;12m- [39m[38;5;14m[1mcoreland-lua-ada[0m[38;5;12m (https://github.com/io7m/coreland-lua-ada) - Ada bindings to the Lua language.[39m


[38;2;255;187;0m[4mHardware and Embedded[0m

[38;2;255;187;0m[4mFrameworks[0m
[38;5;12m- [39m[38;5;14m[1mSweetAda[0m[38;5;12m (https://github.com/gabriele-galeotti/SweetAda) - A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.[39m
[38;5;12m- [39m[38;5;14m[1mrobotics-with-ada[0m[38;5;12m (https://github.com/AdaCore/Robotics_with_Ada) - Robotics with Ada, ARM, and Lego.[39m
[38;5;12m- [39m[38;5;14m[1madamant[0m[38;5;12m (https://github.com/lasp/adamant) - A component-based, model-driven framework for constructing reliable and reusable real-time software.[39m

[38;2;255;187;0m[4mFirmwares[0m
[38;5;12m- [39m[38;5;14m[1mcertiflie[0m[38;5;12m (https://github.com/AdaCore/Certyflie) - Source code for the full Ada + SPARK Crazyflie 2.0 firmware.[39m

[38;2;255;187;0m[4mDrivers[0m
[38;5;12m- [39m[38;5;14m[1mada-drivers-library[0m[38;5;12m (https://github.com/AdaCore/Ada_Drivers_Library) - Ada drivers for various MCU and sensors.[39m
[38;5;12m- [39m[38;5;14m[1mem-brick[0m[38;5;12m (https://github.com/it-cosmos/emBRICK) - emBRICK driver and support for emBRICK in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mdw1000[0m[38;5;12m (https://github.com/damaki/DW1000) - Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.[39m
[38;5;12m- [39m[38;5;14m[1mevb1000[0m[38;5;12m (https://github.com/damaki/EVB1000) - Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mmultiplexed-io[0m[38;5;12m [39m[38;5;12m(https://github.com/simonjwright/multiplexed-io)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mThis[39m[38;5;12m [39m[38;5;12mcontains[39m[38;5;12m [39m[38;5;12mexplorations,[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mAdaPilot,[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mimplementing[39m[38;5;12m [39m[38;5;12mdrivers[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mAdaRacer[39m[38;5;12m [39m[38;5;12mMCU,[39m[38;5;12m [39m[38;5;12musing[39m[38;5;12m [39m[38;5;12mthe[39m[38;5;12m [39m[38;5;12mRavenscar[39m[38;5;12m [39m[38;5;12mprofile[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12m2012[39m[38;5;12m [39m[38;5;12mfrom[39m[38;5;12m [39m[38;5;12mAdaCore[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mdevice[39m[38;5;12m [39m[38;5;12mbindings[39m[38;5;12m [39m
[38;5;12mgenerated[39m[38;5;12m [39m[38;5;12musing[39m[38;5;12m [39m[38;5;12mSVD2Ada.[39m

[38;2;255;187;0m[4mControllers[0m
[38;5;12m- [39m[38;5;14m[1msolenoid-engine-controller[0m[38;5;12m (https://github.com/Fabien-Chouteau/solenoid-engine-controller) - Software controller for solenoid engines (Ada/STM32F4).[39m

[38;2;255;187;0m[4mCommunication[0m
[38;5;12m- [39m[38;5;14m[1msensortile[0m[38;5;12m (https://github.com/morbos/STM32/tree/master/L/L476/sensortile) - This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host.[39m
[38;5;12m- [39m[38;5;14m[1mada-enet[0m[38;5;12m (https://github.com/stcarrez/ada-enet) - Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769.[39m

[38;2;255;187;0m[4mLibraries[0m
[38;5;12m- [39m[38;5;14m[1mgiza[0m[38;5;12m (https://github.com/Fabien-Chouteau/Giza) - Giza is trying to be a simple widget tool kit for embedded platforms.[39m
[38;5;12m- [39m[38;5;14m[1mada-synth-lib[0m[38;5;12m (https://github.com/raph-amiard/ada-synth-lib) - Simple audio synthesis library that can run on bareboard devices.[39m
[38;5;12m- [39m[38;5;14m[1mgeste[0m[38;5;12m (https://github.com/Fabien-Chouteau/GESTE) - GESTE is a sprite and tile 2D render engine designed to run on micro-controllers.[39m
[38;5;12m- [39m[38;5;14m[1msancta[0m[38;5;12m (https://github.com/mosteo/sancta) - SANCTA multi-robot task allocation library.[39m
[38;5;12m- [39m[38;5;14m[1mstm32-ui[0m[38;5;12m (https://github.com/stcarrez/stm32-ui) - STM32 UI library and tools (graphs, images, 12 hour clock).[39m
[38;5;12m- [39m[38;5;14m[1mada-time[0m[38;5;12m (https://github.com/Fabien-Chouteau/Ada_Time) - Ada binding for the Pebble Time smartwatch.[39m
[38;5;12m- [39m[38;5;14m[1mwiring-pi-ada[0m[38;5;12m (https://github.com/jklmnn/wiringPi-Ada) - Ada bindings for wiringPi.[39m

[38;2;255;187;0m[4mApplications[0m
[38;5;12m- [39m[38;5;14m[1mcoffee-clock[0m[38;5;12m (https://github.com/Fabien-Chouteau/coffee-clock) - Waking up with a fresh cup of coffee.[39m
[38;5;12m- [39m[38;5;14m[1mnoise-nugget[0m[38;5;12m (https://github.com/Fabien-Chouteau/noise-nugget) - Square Inch Synthesizer.[39m
[38;5;12m- [39m[38;5;14m[1mspark-railway-demo[0m[38;5;12m (https://github.com/Fabien-Chouteau/spark-railway-demo) - Simulated railway network in SPARK/Ada.[39m
[38;5;12m- [39m[38;5;14m[1mmicro-tem-pi[0m[38;5;12m (https://github.com/jklmnn/MicroTemPi) - Raspberry Pi using a BBC Micro:Bit as temperature sensor.[39m
[38;5;12m- [39m[38;5;14m[1mwee-noise-maker[0m[38;5;12m (https://github.com/Fabien-Chouteau/Wee-Noise-Maker) - Wee Noise Maker is an open source pocket synthesizer.[39m
[38;5;12m- [39m[38;5;14m[1mlunar-lander-rotation[0m[38;5;12m (https://github.com/AdaCore/Lunar_Lander_Rotation_Demo) - Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mrailway-simulation[0m[38;5;12m [39m[38;5;12m(https://github.com/AdaCore/SPARK_Railway_Simulation_Demo)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mProgram[39m[38;5;12m [39m[38;5;12msimulating[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mrailway[39m[38;5;12m [39m[38;5;12mnetwork[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mtrains,[39m[38;5;12m [39m[38;5;12mswitches[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12msignaling.[39m[38;5;12m [39m[38;5;12mThe[39m[38;5;12m [39m[38;5;12msignaling[39m[38;5;12m [39m[38;5;12msystem[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12mproven[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mSPARK/Ada[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mensure[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12mtrains[39m[38;5;12m [39m[38;5;12mcannot[39m[38;5;12m [39m
[38;5;12mcollide.[39m
[38;5;12m- [39m[38;5;14m[1metherscope[0m[38;5;12m (https://github.com/stcarrez/etherscope) - Ethernet traffic monitor on a STM32F746 board.[39m

[38;2;255;187;0m[4mGenerators[0m
[38;5;12m- [39m[38;5;14m[1msvd2ada[0m[38;5;12m (https://github.com/AdaCore/svd2ada) - An Ada binding generator from SVD descriptions for bare board ARM devices.[39m

[38;2;255;187;0m[4mApplications[0m

[38;2;255;187;0m[4mOffice[0m
[38;5;12m- [39m[38;5;14m[1mazip[0m[38;5;12m (https://github.com/zertovitch/azip) - A free, portable Zip Archive Manager.[39m
[38;5;12m- [39m[38;5;14m[1mtexcad[0m[38;5;12m (https://github.com/zertovitch/texcad) - TeXCAD is a program for drawing or retouching {picture}s in LaTeX.[39m
[38;5;12m- [39m[38;5;14m[1mcbsg[0m[38;5;12m (https://github.com/zertovitch/cbsg) - The Corporate Bullshit Generator.[39m
[38;5;12m- [39m[38;5;14m[1mhunter[0m[38;5;12m (https://github.com/thindil/hunter) - Graphical ([39m[38;5;14m[1mgtkada[0m[38;5;12m ) file manager for Linux.[39m

[38;2;255;187;0m[4mMail[0m
[38;5;12m- [39m[38;5;14m[1mtrash-finder[0m[38;5;12m (http://www.rrsoftware.com/html/prodinf/tf/tf-main.html) - Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail.[39m

[38;2;255;187;0m[4mWeb[0m
[38;5;12m- [39m[38;5;14m[1mironsides[0m[38;5;12m (https://ironsides.martincarlisle.com) - Authoritative DNS server verified by SPARK/Ada.[39m
[38;5;12m- [39m[38;5;14m[1mwasabee[0m[38;5;12m (https://github.com/zertovitch/wasabee) - A Web browser with safety focus.[39m
[38;5;12m- [39m[38;5;14m[1myass[0m[38;5;12m (https://github.com/yet-another-static-site-generator/yass) - Yet Another Static Site Generator (like Jekyll or Hugo).[39m

[38;2;255;187;0m[4mMultimedia[0m
[38;5;12m- [39m[38;5;14m[1mada-3ds[0m[38;5;12m (https://github.com/AdaDoom3/Ada3DS) - A simple 3DS Max model renderer.[39m
[38;5;12m- [39m[38;5;14m[1mcanta[0m[38;5;12m (https://sourceforge.net/projects/canta/) - A tool to help to sing in tune.[39m

[38;2;255;187;0m[4mAutomation[0m
[38;5;12m- [39m[38;5;14m[1macnc[0m[38;5;12m (https://github.com/Fabien-Chouteau/ACNC) - A G-code parser and CNC controller (in Ada).[39m
[38;5;12m- [39m[38;5;14m[1mmax-home-automation[0m[38;5;12m (https://sourceforge.net/projects/max-home-automation/) - [39m[38;5;14m[1mgtkada[0m[38;5;12m  application to manage ELV/eQ-3 MAX! cubes for home automation.[39m
[38;5;12m- [39m[38;5;14m[1mada4automation[0m[38;5;12m (https://www.ada4automation.org/) - A framework for designing industrial automation applications using the Ada language.[39m

[38;2;255;187;0m[4mSimulation[0m
[38;5;12m- [39m[38;5;14m[1meagle-lander[0m[38;5;12m (https://github.com/Fabien-Chouteau/eagle-lander) - Apollo 11 lunar lander simulator ([39m[38;5;14m[1mgtkada[0m[38;5;12m /Cairo).[39m
[38;5;12m- [39m[38;5;14m[1mghdl[0m[38;5;12m (https://github.com/ghdl/ghdl) - VHDL 2008/93/87 simulator.[39m
[38;5;12m- [39m[38;5;14m[1mparallel-sim[0m[38;5;12m (https://github.com/JulianSchutsch/ParallelSim) - Distributed Simulation of Transport Networks.[39m
[38;5;12m- [39m[38;5;14m[1mcovid-19-simulator[0m[38;5;12m (https://github.com/ohenley/COVID-19_Simulator) - Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood.[39m
[38;5;12m- [39m[38;5;14m[1mmars-mpl[0m[38;5;12m (https://github.com/Jellix/mars_mpl) - Mars Polar Lander (Crash) Simulator ([39m[38;5;14m[1mgtkada[0m[38;5;12m , [39m[38;5;14m[1maicwl[0m[38;5;12m ).[39m
[38;5;12m- [39m[38;5;14m[1mdoppler-effect-sample2[0m[38;5;12m (https://github.com/moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2) - Moving airplane causes Stereo Sound Doppler effect ([39m[38;5;14m[1mgtkada[0m[38;5;12m ).[39m

[38;2;255;187;0m[4mGenerators and Translators[0m
[38;5;12m- [39m[38;5;14m[1madabrowse[0m[38;5;12m (http://home.datacomm.ch/t_wolf/tw/ada95/adabrowse) - HTML generator for Ada95 library unit specs.[39m
[38;5;12m- [39m[38;5;14m[1mpascal-to-ada[0m[38;5;12m (https://github.com/zertovitch/pascal-to-ada) - A Pascal to Ada translator.[39m
[38;5;12m  - [39m[38;5;14m[1mtp7-ada-gtkada[0m[38;5;12m (https://github.com/Blady-Com/tp7ada-gtkada) - Implementation of Turbo Pascal 7.0 units with [39m[38;5;14m[1mgtkada[0m[38;5;12m .[39m
[38;5;12m  - [39m[38;5;14m[1mtp7-ada-gnoga[0m[38;5;12m (https://github.com/Blady-Com/tp7ada-gnoga) - Implementation of Turbo Pascal 7.0 units with [39m[38;5;14m[1mgnoga[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1mtiled-code-gen[0m[38;5;12m (https://github.com/Fabien-Chouteau/tiled-code-gen) - Code generator for Tiled the map editor.[39m
[38;5;12m- [39m[38;5;14m[1mj2ada[0m[38;5;12m (https://github.com/Blady-Com/j2ada) - Translator for a Java valid source code in Ada source code.[39m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mada-magic[0m[38;5;12m [39m[38;5;12m(https://www.mapusoft.com/ada-to-c-changer/)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mSofCheck[39m[38;5;12m [39m[38;5;12mAdaMagic[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12mACATS[39m[38;5;12m [39m[38;5;12mvalidated[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mcertified[39m[38;5;12m [39m[38;5;12mAda[39m[38;5;12m [39m[38;5;12mcompiler[39m[38;5;12m [39m[38;5;12mtargeting[39m[38;5;12m [39m[38;5;12mC[39m[38;5;12m [39m[38;5;12mand/or[39m[38;5;12m [39m[38;5;12mC++[39m[38;5;12m [39m[38;5;12m(4[39m[38;5;12m [39m[38;5;12mcommand[39m[38;5;12m [39m[38;5;12mline[39m[38;5;12m [39m[38;5;12mswitches[39m[38;5;12m [39m[38;5;12mfor[39m[38;5;12m [39m[38;5;12mfine[39m[38;5;12m [39m[38;5;12mtuning).[39m[38;5;12m [39m[38;5;12mObjectAda[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mseveral[39m[38;5;12m [39m[38;5;12mother[39m[38;5;12m [39m[38;5;12mcommercial[39m[38;5;12m [39m
[38;5;12mcompilers[39m[38;5;12m [39m[38;5;12mshare[39m[38;5;12m [39m[38;5;12mengine[39m[38;5;12m [39m[38;5;12mwith[39m[38;5;12m [39m[38;5;12mAdaMagic.[39m[38;5;12m [39m[38;5;12mMapuSoft[39m[38;5;12m [39m[38;5;12mdistributes[39m[38;5;12m [39m[38;5;12mAdaMagic[39m[38;5;12m [39m[38;5;12mas[39m[38;5;12m [39m[38;5;12mintegral[39m[38;5;12m [39m[38;5;12mcomponent[39m[38;5;12m [39m[38;5;12mof[39m[38;5;12m [39m[38;5;12mAppCOE.[39m
[38;5;12m- [39m[38;5;14m[1mcappulada[0m[38;5;12m (https://github.com/Componolit/Cappulada) - Ada binding generator for C++.[39m
[38;5;12m- [39m[38;5;14m[1masis2xml[0m[38;5;12m (https://github.com/simonjwright/asis2xml) - Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.[39m

[38;2;255;187;0m[4mShells, Interpreters and Emulators[0m
[38;5;12m- [39m[38;5;14m[1msparforte[0m[38;5;12m (https://sparforte.com/) - SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement.[39m
[38;5;12m- [39m[38;5;14m[1mgsh[0m[38;5;12m (https://github.com/AdaCore/gsh) - GSH is non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin.[39m
[38;5;12m- [39m[38;5;14m[1mgnatcoll-scripts-shell[0m[38;5;12m (https://github.com/AdaCore/gnatcoll-core/blob/master/src/gnatcoll-scripts-shell.ads) - GNATCOLL.Scripts.Shell is a simple embeddable scripting language, part of GNATCOLL Core.[39m
[38;5;12m- [39m[38;5;14m[1manalytical-engine[0m[38;5;12m (https://github.com/simonjwright/analytical-engine) - An Ada 2012 emulation of Charles Babbage's Analytical Engine.[39m
[38;5;12m- [39m[38;5;14m[1ma-shell[0m[38;5;12m (https://github.com/charlie5/aShell) - A component to aid in writing shell-like applications in Ada.[39m
[38;5;12m- [39m[38;5;14m[1mdashera[0m[38;5;12m (https://github.com/SMerrony/dashera) - Data General DASHER terminal emulator using [39m[38;5;14m[1mgtkada[0m[38;5;12m .[39m
[38;5;12m- [39m[38;5;14m[1myotroc[0m[38;5;12m (https://github.com/docandrew/YOTROC) - Assembler/Emulator for a fictional CPU architecture. IDE implemented in [39m[38;5;14m[1mgtkada[0m[38;5;12m .[39m

[38;2;255;187;0m[4mProgramming Languages[0m
[38;5;12m-[39m[38;5;12m [39m[38;5;14m[1mpara-sail[0m[38;5;12m [39m[38;5;12m(http://parasail-lang.org/)[39m[38;5;12m [39m[38;5;12m-[39m[38;5;12m [39m[38;5;12mParaSail[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mhighly[39m[38;5;12m [39m[38;5;12mparallel[39m[38;5;12m [39m[38;5;12mexperimental[39m[38;5;12m [39m[38;5;12mlanguage,[39m[38;5;12m [39m[38;5;12msimilar[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mGo[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mErlang.[39m[38;5;12m [39m[38;5;12mOriginaly[39m[38;5;12m [39m[38;5;12mowned[39m[38;5;12m [39m[38;5;12mby[39m[38;5;12m [39m[38;5;12mSofCheck[39m[38;5;12m [39m[38;5;12m(now[39m[38;5;12m [39m[38;5;12mAdaCore),[39m[38;5;12m [39m[38;5;12mit[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12mtest[39m[38;5;12m [39m[38;5;12mproject[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mtry[39m[38;5;12m [39m[38;5;12mnew[39m[38;5;12m [39m[38;5;12mideas.[39m[38;5;12m [39m[38;5;12mExpandable[39m[38;5;12m [39m[38;5;12mpointers[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12ma[39m[38;5;12m [39m[38;5;12msample[39m[38;5;12m [39m
[38;5;12mfeature[39m[38;5;12m [39m[38;5;12mthat[39m[38;5;12m [39m[38;5;12mis[39m[38;5;12m [39m[38;5;12mabout[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mbe[39m[38;5;12m [39m[38;5;12mintroduced[39m[38;5;12m [39m[38;5;12mto[39m[38;5;12m [39m[38;5;12mSPARK[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mAda.[39m[38;5;12m [39m[38;5;12mThere[39m[38;5;12m [39m[38;5;12mare[39m[38;5;12m [39m[38;5;12min[39m[38;5;12m [39m[38;5;12mfact[39m[38;5;12m [39m[38;5;12m4[39m[38;5;12m [39m[38;5;12mexperimental[39m[38;5;12m [39m[38;5;12mlanguages:[39m[38;5;12m [39m[38;5;12mParaSail,[39m[38;5;12m [39m[38;5;12mSparkel,[39m[38;5;12m [39m[38;5;12mJavallel,[39m[38;5;12m [39m[38;5;12mParython,[39m[38;5;12m [39m[38;5;12mall[39m[38;5;12m [39m[38;5;12msharing[39m[38;5;12m [39m[38;5;12mbytecode[39m[38;5;12m [39m[38;5;12minterpreter[39m[38;5;12m [39m[38;5;12mand[39m[38;5;12m [39m[38;5;12mLLVM[39m[38;5;12m [39m[38;5;12mengine.[39m

[38;2;255;187;0m[4mMisc[0m
[38;5;12m- [39m[38;5;14m[1mdhondt[0m[38;5;12m (https://github.com/simonjwright/dhondt) - Ada implementation of D'Hondt electoral result calculator.[39m
[38;5;12m- [39m[38;5;14m[1mwhitakers-words[0m[38;5;12m (https://github.com/mk270/whitakers-words) - William Whitaker's WORDS, a Latin dictionary.[39m
[38;5;12m- [39m[38;5;14m[1mada-chess[0m[38;5;12m (https://github.com/adachess/AdaChess) - Chess engine written in Ada.[39m
[38;5;12m- [39m[38;5;14m[1madage[0m[38;5;12m (https://github.com/atalii/adage) - An Ada/SPARK alternative to sudo and doas.[39m
