Skip to content
Avatar
46 followers · 3 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
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.

Report abuse

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

Report abuse

Popular repositories

  1. ada-howto Public

    Collection of How-to documents for Ada

    Jupyter Notebook 32 1

  2. matreshka Public

    Matreshka is Ada framework to develop information systems

    Ada 25 3

  3. adalib Public

    Standard Ada library specification as defined in Reference Manual

    Ada 14 1

  4. ada-lsp Public

    Language Server Protocol for Ada

    Ada 12 1

  5. protobuf Public

    The Google Protocol Buffers implementation in Ada

    Ada 11 1

  6. android_app_demo Public

    Small demo for android app in Ada/webAssembly

    JavaScript 10 2

968 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 5 commits in 3 repositories
Opened 4 pull requests in 3 repositories
AdaCore/ada_language_server 1 open 1 merged
AdaCore/VSS 1 merged
AdaCore/libadalang 1 merged
Reviewed 5 pull requests in 2 repositories

Created an issue in alire-project/alire that received 3 comments

AWS fails to build

Hello, While alr get --build aws works fine, but alr init --bin myproj cd myproj alr with aws fails with error: templates_parser.adb:2093:55: warn…

3 comments
Opened 1 other issue in 1 repository
alire-project/GNAT-FSF-builds 1 open

Seeing something unexpected? Take a look at the GitHub profile guide.