👋 Hello, I'm Max Reznik

💻 Passionate Ada enthusiast and developer at AdaCore
🇺🇦 From Ukraine — founder of the Ukrainian Ada community

❤️ Why I Love Ada

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.

🚀 My Interesting 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!)
  • ili9341 — ILI9341 display (VERY DRAFT!)
• enet_tap — ENet driver over TUN/TAP device

🧪 Experiments

• 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

📦 Archived / Maintained External Projects

• 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)

📊 GitHub Stats

🛡 Tech & Tools

📬 Connect with Me

• 🐘 Mastodon: @dxz8@social.kyiv.dcomm.net.ua
• ❤️ Patreon

⭐ If you like Ada or any of my projects, consider giving them a star on GitHub!