Skip to content
View reznikmm's full-sized avatar
Block or Report

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

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

  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 19 2

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

    Forked from simonjwright/cortex-gnat-rts

    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 2

  6. ada-lsp ada-lsp Public

    Language Server Protocol for Ada

    Ada 11 1