Skip to content
View reznikmm's full-sized avatar

Organizations

@AdaCore @ada-lang-io @ada-ukraine

Block or report reznikmm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
reznikmm/README.md

πŸ‘‹ Hello, I'm Max Reznik

πŸ’» Passionate Ada enthusiast and developer at AdaCore
πŸ‡ΊπŸ‡¦ From Ukraine β€” founder of the Ukrainian Ada community

Ada Ukraine


❀️ 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!)
  • 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

GitHub Stats Top Languages


πŸ›‘ Tech & Tools

Ada Alire GNAT STM32


πŸ“¬ Connect with Me


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

Popular repositories Loading

  1. protobuf protobuf Public

    The Google Protocol Buffers implementation in Ada

    Ada 45 6

  2. ada-howto ada-howto Public

    Collection of How-to documents for Ada

    Jupyter Notebook 36 1

  3. matreshka_archive matreshka_archive Public archive

    Matreshka is Ada framework to develop information systems

    Ada 26 4

  4. adalib adalib Public

    Standard Ada library specification as defined in Reference Manual

    Ada 24 3

  5. esp32-gnat-rts esp32-gnat-rts Public

    Forked from simonjwright/FreeRTOS-Ada

    This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

    Ada 18 4

  6. aarch64-alire-index aarch64-alire-index Public

    Alire port to aarch64

    14 1