awesome-ada

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

A secure and high performances microkernel for building secure MCU-based IoTs

Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

Formally verified, bounded-stack XML library

Framework for platform-independent SPARK components

Introducing Project Zephyrine: Elevating Your Interaction Plug and Play, and Employing GPU Acceleration within a Modernized Automata Local Graphical User Interface.

Dynamo Ada Application Code Generator

So, you want to create your very own chatbot? Well, buckle up and get ready for a wild ride! With OpenAI APIs, you can train your chatbot to be the ultimate conversationalist. From discussing the latest trends in fashion to debating the merits of pineapple on pizza, your chatbot will be ready to take on any topic.