8000 ParkhomenkoV (Vladimir) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ParkhomenkoV's full-sized avatar
6 followers · 27 following
  • Peter the Great St.Petersburg Polytechnic University
  • Saint-Petersburg, Russia

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report ParkhomenkoV

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

Starred repositories

Showing results

iv3xx / eye_tracking_marketplace

HTML 1 1 Updated Jun 11, 2025

martineberlein / avicenna

Debugging Prototype Avicenna

Python 10 7 Updated Feb 11, 2025

UCLA-SEAL / NaturalSym

FSE 2024: Natural Symbolic Execution-based Testing for Big Data Analytics

Java 6 Updated Feb 15, 2025

lucadt / testminer

Mining Test Inputs for Effective Test Generation

Scala 4 Updated Jan 21, 2019

SEED-VT / NaturalFuzz

Scala 9 Updated May 4, 2025

sw3zeg / LoadTestingMetricsPlugin

Java 1 1 Updated Apr 16, 2025

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

Java 57 34 Updated Jun 13, 2025

Amirfarhad-Nilizadeh / ChatGPT_Formal_Verification_Engin

1 Updated Dec 16, 2023

Amirfarhad-Nilizadeh / Java-JML

Java 5 1 Updated Mar 12, 2021

Amirfarhad-Nilizadeh / BuggyJavaJML

Java 4 1 Updated Jun 7, 2021

Suresoft-GLaDOS / SBFL

Spectrum-based Fault Localization Engine

Python 30 6 Updated Jul 14, 2024

OpenJML / OpenJML

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Java 155 35 Updated Jun 12, 2025

Gachikust / Bug-search

Java 1 1 Updated Nov 1, 2024

Th3Spac3 / CoggerYuDecisionHelper

Java 1 1 Updated Dec 26, 2024

MaksimSenkovL / DSS_for_ranking_GitHub_repositories

1 1 Updated Jul 11, 2023

zapros-app / console-zapros-impl

Сonsole zapros impl

Java 1 Updated Jun 25, 2022

NTAILab / bosk

A Python framework for Deep Forest construction

Python 8 Updated May 5, 2025

yegor256 / cam

Classes and Metriсs (CaM): a dataset of Java classes from public open-source GitHub repositories

Shell 26 50 Updated Jun 8, 2025

ASSERT-KTH / flacoco

FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513

Java 30 15 Updated Jun 7, 2025

GZoltar / gzoltar

GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com

Java 78 34 Updated Aug 20, 2024

total-mistake / testing_caspailleur

Python 1 Updated Apr 23, 2024

andrei300399 / buildConfigurationStatistics

Java 1 1 Updated Feb 21, 2024

kia999 / GOST

BibTEX support for GOST standard bibliographies

TeX 23 4 Updated Dec 30, 2020

Oleg595 / Compass

Java 1 Updated Aug 18, 2024

maksimio / pydass

Alternatives ranking system

Python 1 Updated Jan 22, 2024

google / fuzztest

C++ 842 95 Updated Jun 13, 2025

ispras / casr

Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.

Rust 314 29 Updated May 16, 2025

ispras / crusher

Python 39 16 Updated May 14, 2025

EgorDudyrev / FCApy

A library to work with formal (and pattern) contexts, concepts, lattices

Python 31 7 Updated Dec 6, 2024

nikitarom / fca

Forked from ae-hse/fca

Python package for formal concept analysis

Python 7 Updated Oct 6, 2011
Next

Starred topics

0