Дата обновления: 19.04.2020
35 из 263 в рейтинге C Russia
Score: 0.2457

Ilya Shchepetkov

https://github.com/17451k
На гитхабе с 2012 года.
Связан с репозиториями: 10
Подписчиков: 13
Подписался на: 16
Местоположение: Moscow
Компания: ISP RAS

Метрики

Аккаунт живой? Время с последнего коммита в репозиторий. Сегодня - 100%, 6 месяцев назад 0% 0%
GRIT Регулярность работы. Количество дней с коммитами за последние 6 месяцев. 18%
Закрытие Issue Баланс закрытые/незакрытые за 6 месяцев issue в самом популярном по issue репозитории, владельцем которого является 17451k (не fork, не организация) 100%
Закрытие Pull Request Баланс закрытые/незакрытые за 6 месяцев pull request в самом популярном по pull request репозитории, владельцем которого является 17451k (не fork, не организация) 100%

Связан с организациями

Общий вклад в репозитории за последний год

Commits 324
Issues 7
Pull Requests 3
Pull Request Reviews 0

Язык и количество репозиториев в которые сделан вклад за последний год

Репозитории с которыми связан разработчик.

17451k/eventb-to-txt
Event-B to txt converter
Звезд: 4
Релизов: 3
Наблюдателей: 1
2018-2020
17451k/cif
C Instrumentation Framework is a user-friendly interface for Aspectator
Звезд: 2
Форков: 1
Релизов: 11
Наблюдателей: 1
2018-2020
17451k/aspectator
Aspectator is a GCC based tool that implements aspect-oriented programming for the C programming language
Звезд: 1
Наблюдателей: 1
2018-2020
17451k/clade
Clade is a tool for extracting information about software build process and source code
Звезд: 6
Форков: 1
Релизов: 14
Наблюдателей: 5
2018-2020
17451k/base-model
First level of the Event-B specification of the HIMACF model (with role-based access control)
Звезд: 1
Форков: 1
Наблюдателей: 2
2018-2020
17451k/kartographer
[Deprecated - replaced by Clade] Kartographer is designed to build a callgraph of the Linux kernel for a given configuration. It also collects information about macros, function pointers, object and source files. Besides the Linux kernel, Kartographer can be used in other projects written in C.
Наблюдателей: 1
2018-2019
17451k/eventb-models
Collection of various Event-B models
Звезд: 2
Наблюдателей: 1
2019-2019
evdenis/katechon
Наблюдателей: 2
2018-2019
17451k/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Наблюдателей: 1
2018-2019
17451k/practical-fm
A gently curated list of companies using verification formal methods in industry
2019-2019

Репозитории в которые сделан вклад за последний год

17451k/clade commits: 168; issues: 7;
ldv-klever/klever commits: 37;
ldv-klever/cif commits: 35;
17451k/eventb-to-txt commits: 27;
17451k/cif commits: 24; pull requests: 1;
Daohub-io/cap9-spec commits: 10;
17451k/eventb-models commits: 8;
ldv-klever/aspectator commits: 5;
17451k/aspectator commits: 5;
17451k/base-model commits: 3;
ligurio/practical-fm commits: 1; pull requests: 1;
evdenis/verker commits: 1; pull requests: 1;