Skip to content
View vovak's full-sized avatar

Highlights

  • Pro

Organizations

@SERG-Delft @JetBrains-Research

Block or report vovak

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
Showing results

Drafting a challenge via EvalAI

Python 1 Updated Mar 27, 2025

🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents. https://oasis.camel-ai.org

Python 1,289 127 Updated Apr 10, 2025

Reference Explorer

Java 1 Updated Jun 25, 2024

TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implement…

Kotlin 66 26 Updated Apr 11, 2025

A web app for exploring Bus Factor of GitHub projects by analyzing the commit history.

Jupyter Notebook 15 2 Updated May 28, 2024

An Open Source name disambiguation tool for version control systems

Python 9 4 Updated Nov 21, 2024

A collection of git2net tutorials

Jupyter Notebook 3 1 Updated May 1, 2023

🧑‍💻🔭 Digma helps you fix performance issues in your code by automatically profiling the code execution. Using APMs to identify code bottlenecks, query problems and scalability issues takes time and…

Shell 395 11 Updated Apr 10, 2025

Secure open source cloud runtime for AI apps & AI agents

MDX 7,945 528 Updated Apr 11, 2025

Differential fuzzer for testing different versions of the Kotlin compiler

Java 7 1 Updated Aug 7, 2023

Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts

Python 16 1 Updated Jul 5, 2022

Baselines and testing framework for code reviewer recommendation

Python 7 2 Updated May 15, 2024

NeuraLint: Automatic Fault Detection for Deep Learning Programs Using Graph Transformations

Python 22 9 Updated Oct 12, 2023

Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.

Java 33 17 Updated Jan 19, 2023

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Rust 5,348 268 Updated Apr 11, 2025

A Learn-to-Rank algorithm library

Scala 12 1 Updated Aug 15, 2024

A framework for the large scale analysis of programming language usage.

Jupyter Notebook 26 5 Updated Jun 27, 2023

A library for mining of path-based representations of code (and more)

Kotlin 287 81 Updated Dec 11, 2023
Kotlin 2 Updated May 16, 2022
Jupyter Notebook 1 Updated Feb 10, 2022

Hosting read-only SQLite databases on static file hosters like Github Pages

TypeScript 3,530 108 Updated Aug 6, 2024

Kotlin Serverless Framework

Kotlin 1,157 59 Updated Feb 1, 2024

A Tool for Mining Rich Abstract Syntax Trees from Code

Kotlin 58 12 Updated Jul 26, 2023

Repository for utilities to create and test IntelliJ plugins

Kotlin 4 2 Updated Sep 8, 2023

A concise API for exploratory data visualization implementing a layered grammar of graphics

HTML 4,726 186 Updated Mar 10, 2025
Kotlin 1 Updated Dec 1, 2022

Identifying Key Developers using Artifact Traceability Graphs

Python 4 3 Updated Oct 19, 2020

SOTorrent pipeline running on Google Cloud

Python 1 2 Updated Jun 30, 2021

A plugin for Kotlin compiler for compile-time reflection

Kotlin 372 13 Updated Feb 14, 2024
Python 23 6 Updated Apr 24, 2023
Next