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

Popular repositories Loading

  1. ada-howto ada-howto Public

    Collection of How-to documents for Ada

    Jupyter Notebook 35 1

  2. protobuf protobuf Public

    The Google Protocol Buffers implementation in Ada

    Ada 32 5

  3. matreshka_archive matreshka_archive Public archive

    Matreshka is Ada framework to develop information systems

    Ada 25 3

  4. adalib adalib Public

    Standard Ada library specification as defined in Reference Manual

    Ada 20 2

  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 17 3

  6. android_app_demo android_app_demo Public

    Small demo for android app in Ada/webAssembly

    JavaScript 12 3