Skip to content
Avatar
47 followers · 11 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report mechtaev

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

Pinned

  1. modus-continens/modus Public

    A language for building Docker/OCI container images

    Rust 245 4

  2. angelix Public

    Semantic program repair system for C programs

    Java 89 35

  3. program-repair/program-repair.github.io Public

    Automated program repair bibliography, tools and benchmarks.

    HTML 54 29

  4. codeflaws/codeflaws Public

    This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)

    Shell 26 13

  5. f1x Public

    Efficient patch generation engine for C/C++ programs

    C++ 9 1

610 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

August 2022

6 contributions in private repositories Aug 1 – Aug 10

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