π» Passionate Ada enthusiast and developer at AdaCore
πΊπ¦ From Ukraine β founder of the Ukrainian Ada community
I love Ada because it allows me to precisely describe domain concepts using types. Thanks to the languageβs properties, the compiler can detect many errors in advance, and readers can more easily understand the essence of the code. Ada is focused on reliability, safety, and large, long-term projects.
- protobuf β Google Protocol Buffers implementation in Ada
- onnx_runtime β Simple Ada binding to ONNX Runtime
- aa_stm32_drivers β Another Ada STM32 drivers library
- Unified-style drivers for various sensors and devices (see details):
- ak09940a β Magnetic sensor
- bme280 β Humidity, barometric pressure and ambient temperature sensor
- bmm150 β Magnetic sensor
- hmc5883 β Magnetic sensor
- icm20602 β 3-axis gyroscope, 3-axis accelerometer
- neo_pixel β RGB LED Serial Driver (WS2812, SK6812, etc.)
- qmc5883 β Magnetic sensor
- w25x β SPI flash memory (VERY DRAFT!)
- enet_tap β ENet driver over TUN/TAP device
- qemu_stm32 β Running Ada on STM32 MCU with Qemu
- libada β Scripts to rebuild Ada Runtime on GNAT FSF
- jupyter β Jupyter Client API in Ada
- jwt β Naive JSON Web Token (JWT) implementation in Ada
- acme-ada β ACME implementation in Ada
- gela β Ada code analyzer (incomplete attempt at Ada frontend + ASIS)
- anagram β Grammar handling and parser generation in Ada
- diana β Translator for Ada 83 to Diana with tools
- garlic β GNAT Library for Ada Distributed Environment (GNADE)
- mavlink_common β MAVLink (Common dialect)
- mavlink_ardupilotmega β MAVLink (Ardupilotmega dialect)
- π Mastodon: @[email protected]
- β€οΈ Patreon
β If you like Ada or any of my projects, consider giving them a star on GitHub!