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

Denis Efremov

https://github.com/evdenis
На гитхабе с 2009 года.
Связан с репозиториями: 60
Подписчиков: 48
Подписался на: 110
Местоположение: Moscow
Компания: ISP RAS
Открыт к предложениям: Да

Метрики

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

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

Commits 800
Issues 28
Pull Requests 28
Pull Request Reviews 6

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

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

CruelKernel/samsung-exynos9820
Unified kernel tree for S10 and Note10 devices
Звезд: 10
Форков: 42
Наблюдателей: 8
2020-2020
fraunhoferfokus/acsl-by-example
Public snapshots of "ACSL by Example"
Звезд: 61
Форков: 10
Наблюдателей: 20
2017-2020
evdenis/yargen
Tool to automate the development of yara rules (CVEs in perl modules) for PT Approof.
Звезд: 3
Форков: 3
Наблюдателей: 1
2016-2020
evdenis/tether_unblock
Hide tethering from your mobile network operator
Звезд: 6
Релизов: 1
Наблюдателей: 2
2020-2020
evdenis/verker
Linux kernel library functions formally verified.
Звезд: 26
Форков: 6
Наблюдателей: 6
2017-2020
evdenis/kaitai_struct_formats
Kaitai Struct: library of binary file formats (.ksy)
2020-2020
evdenis/acsl-by-example
Public snapshots of "ACSL by Example"
Наблюдателей: 1
2019-2020
evdenis/enable_eng
Magisk Module to enable engineering build props
Звезд: 3
Релизов: 1
Наблюдателей: 1
2020-2020
evdenis/linux-floppy
Linux kernel source tree
Звезд: 1
2019-2020
evdenis/spec-utils
A number of utilities for writing ACSL specifications for a Linux module.
Звезд: 8
Форков: 3
Релизов: 4
Наблюдателей: 2
2014-2020
evdenis/i2c-syzkaller
Syzkaller configuration for i2c drivers fuzzing
Звезд: 3
Форков: 1
Наблюдателей: 3
2018-2020
evdenis/adb_root
Magisk Module that allows you to run "adb root".
Звезд: 3
Релизов: 1
Наблюдателей: 1
2020-2020
evdenis/selinux_permissive
Magisk Module that switches SELinux to permissive mode
Релизов: 3
Наблюдателей: 1
2020-2020
CruelKernel/samsung-exynos9820-toolchain
Samsung toolchain for S10, Note10 (exynos9820, exynos9825)
Форков: 5
Наблюдателей: 1
2020-2020
evdenis/mini-gmp
Port of mini-gmp library to kernel. minigmp.ko linux kernel module.
Звезд: 4
Форков: 4
Наблюдателей: 1
2016-2020
evdenis/Contiki-NG
Звезд: 2
Форков: 2
Наблюдателей: 5
2019-2020
evdenis/acsl-examples
Tiny programs with ACSL specifications.
Звезд: 6
Наблюдателей: 2
2016-2019
evdenis/base-model
First level of the Event-B specification of the MROSL DP-model (with role-based access control)
Звезд: 1
Наблюдателей: 1
2018-2019
evdenis/syzkaller
syzkaller is an unsupervised, coverage-guided kernel fuzzer
Наблюдателей: 1
2018-2019
evdenis/sg
Наблюдателей: 1
2019-2019
maksimov1/Sochi
BLOCK CHAIN
Наблюдателей: 2
2018-2019
maksimov1/HISS
Health Insurance Support System
Наблюдателей: 2
2018-2019
evdenis/OP5-5T-unified
Cheeseburger and dumpling!
2019-2019
evdenis/bash_functions
Small commands to source from your bashrc.
Наблюдателей: 1
2015-2019
evdenis/acsl-proved
Fully proved small C functions (examples for verification course).
Звезд: 12
Наблюдателей: 1
2017-2019
schrodibear/opam-repository
Opam repository for Astraver Toolset
Наблюдателей: 1
2019-2019
schrodibear/why3
(Outdated) Why3 fork for Astraver verification plugin
Наблюдателей: 1
2019-2019
schrodibear/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
2019-2019
schrodibear/astraver
Deductive Verification Tool for Linux Kernel code based on Frama-C/Why3
Наблюдателей: 1
2019-2019
evdenis/contiki-ng-orig
Contiki-NG: The OS for Next Generation IoT Devices
2019-2019
evdenis/gentoo
The Gentoo ebuild repository mirror
2019-2019
evdenis/katechon
Наблюдателей: 2
2018-2019
evdenis/x509-parser
a RTE-free X.509 parser
2019-2019
evdenis/kmem
An example of kernel module for arbitrary memory access
Звезд: 2
Наблюдателей: 1
2019-2019
evdenis/acslinux
ACSL specifications for LSM interface
Звезд: 3
Наблюдателей: 1
2018-2019
evdenis/ldv-rules
Rules for LDV project (http://linuxtesting.org/project/ldv).
Звезд: 5
Наблюдателей: 2
2014-2019
evdenis/generate-cpanfile
Grep perl files in directory. Generates cpanfile according to use directives. Excludes core modules.
Звезд: 2
Форков: 1
Наблюдателей: 1
2015-2018
evdenis/ttrss_plugin-feediron
Evolution of ttrss_plugin-af_feedmod
Звезд: 1
Наблюдателей: 1
2016-2018
evdenis/abc
Free theme for your Ghost blog
Наблюдателей: 1
2018-2018
evdenis/e-acsl
Port of Frama-C E-ACSL plugin to AstraVer version of framework.
Звезд: 2
Наблюдателей: 2
2016-2018
hiddenchain/HISS
Health Insurance Support System
Наблюдателей: 1
2018-2018
evdenis/git-workflow
Программы для работы с репозитарием AstraVer
Звезд: 1
Наблюдателей: 1
2015-2018
evdenis/check_headers
utility for finding typos in headers guards (c language .h files)
Звезд: 1
Наблюдателей: 1
2014-2018
evdenis/kedr
Kedr fork with support of PaX/GrSecurity kernels
Звезд: 1
Наблюдателей: 1
2016-2018
evdenis/lsm_example
Звезд: 1
Наблюдателей: 1
2018-2018
evdenis/ded-rep
Звезд: 1
Наблюдателей: 1
2018-2018
evdenis/klever-skb
Звезд: 1
Наблюдателей: 1
2018-2018
evdenis/latest_kernel
Monitor https://www.kernel.org/ and perform different actions (download/compile/notify) on kernel release.
Звезд: 1
Наблюдателей: 1
2015-2018
evdenis/export_checking
Check Linux kernel __init and __exit functions for exporting as EXPORT_SYMBOL*
Наблюдателей: 1
2014-2018
evdenis/homebrew-core
🍻 Default formulae for the missing package manager for macOS
Наблюдателей: 1
2017-2017
evdenis/simple-algo
Educational repository.
Наблюдателей: 1
2017-2017
evdenis/evernote-firefox-webclipper
Firefox addon with custom shortcuts.
Звезд: 2
Форков: 2
Наблюдателей: 1
2015-2017
evdenis/lp-bilets
Robot for automatic booking of billets on LinkinPark concert
Наблюдателей: 1
2014-2017
evdenis/nata-tasks
Solutions for my sister.
Наблюдателей: 1
2015-2017
evdenis/euler-go
Some of the Project Euler tasks written in Go language.
Наблюдателей: 1
2015-2017
evdenis/do-vpn
Automatically start and stop DigitalOcean VPN droplet.
Форков: 1
Наблюдателей: 1
2015-2017
evdenis/perl-examples
Small perl programs.
Наблюдателей: 1
2014-2017
evdenis/FP-community-rules
Наблюдателей: 1
2016-2016
evdenis/ifc
Just a small project for analysis of inter-faculty courses of MSU
Наблюдателей: 1
2014-2015
evdenis/sprute
Наблюдателей: 1
2014-2015

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

CruelKernel/samsung-exynos9820 commits: 343; issues: 17; pull request reviews: 2;
evdenis/verker commits: 80; issues: 3; pull requests: 1; pull request reviews: 1;
torvalds/linux commits: 63;
evdenis/Contiki-NG commits: 63;
evdenis/kmem commits: 47;
evdenis/sg commits: 25;
evdenis/spec-utils commits: 23;
google/kmsan commits: 21;
gentoo/gentoo commits: 10; pull requests: 8;
fraunhoferfokus/acsl-by-example commits: 11; issues: 1; pull requests: 6;
CruelKernel/webbootimg commits: 12; issues: 2;
google/syzkaller commits: 7; issues: 1; pull requests: 5;
evdenis/adb_root commits: 12;
evdenis/katechon commits: 11;
evdenis/tether_unblock commits: 10;
CruelKernel/scripts commits: 6;
CruelKernel/webpit commits: 5;
evdenis/enable_eng commits: 5;
contiki-ng/contiki-ng commits: 1; pull requests: 1; pull request reviews: 2;
ANSSI-FR/x509-parser pull requests: 3; pull request reviews: 1;
17451k/base-model commits: 2; pull requests: 1;
CruelKernel/bootimg commits: 3;
kaitai-io/kaitai_struct_formats commits: 1; pull requests: 1;
schrodibear/astraver commits: 2;
schrodibear/why3 commits: 2;
Saumer7/exynos9820-beyond1lte pull requests: 1;
CruelKernel/vbmeta commits: 1;
gogs/gogs issues: 1;
topjohnwu/Magisk issues: 1;