Discover JetBrains-Research/overcoming Open Source project

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

362

astminer

Running ONNX models in vanilla Kotlin

280

kinference

Efficient f64-only ndarray in Kotlin

151

viktor

An IntelliJ IDEA plugin that detects refactorings in Git commits

119

RefactorInsight

A plugin for IntelliJ IDEA for extracting code duplicates into a new method as soon as they are introduced.

103

anti-copy-paster

PyTorch's implementation of the code2seq model.

101

code2seq

Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.

snakecharm

🌟 replication package for 📜 From Commit Message Generation to History-Aware Commit Message Completion, ASE 2023

commit_message_generation

A Tool for Mining Rich Abstract Syntax Trees from Code

psiminer

The project is not actively supported.

IntelliJDeodorant

NPY and NPZ support for the JVM

npy

A test smell detector for Python.

PyNose

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 implementation by JetBrains Research (Software Testing Research) for research purposes.

TestSpark

Finding similar repositories on GitHub

sosed

VSCode extension that is designed to help automate writing of Coq proofs.

coqpilot

TypeScript

pubtrends

Scientific literature explorer. Runs a Pubmed or Semantic Scholar search and allows user to explore high-level structure of result papers

Bioinformatics library in Kotlin

bioinf-commons

Automatic generation of reviews of scientific papers

pubtrends-review

A multi-language tokenizer for extracting identifiers from source code.

buckwheat

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

Lupa

Plugin for checking license compatibility in IntelliJ IDEA

sorrel

Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.

embeddings-for-trees

Baselines for all tasks from Long Code Arena benchmarks 🏟️

lca-baselines

Evaluation of source authorship attribution tool

authorship-detection

Young and dynamic build system for Python

paddle

A tool for mining graph-based change patterns in Python code

python-change-miner

IRen

An IntelliJ-based IDE plugin for Python AST transformations

bumblebee

A library for the large scale analysis of Jupyter notebooks

Matroskin

Detects performed refactorings in the changes in Kotlin code

kotlinRMiner

tnm

Sparse linear Boolean algebra for Nvidia Cuda

cuBool

adhd-study

BigWIG, BigBED and TDF for the JVM

big

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations

spbla

The collection of Context-Free Path Querying algorithms

CFPQ_PyAlgo

[WIP] A tool for C++ code modification to augment data for clone detection tools

jbr

JBR Genome Browser

Dockerfile

gorshochek

Language-independent high-level differencing tool

hldiff

An IntelliJ IDEA plugin improving type migration refactoring using inferred type conversion rules

CFPQ-on-GPGPU

Cuda

data-driven-type-migration

task-tracker-plugin

A data-driven PyCharm plugin for code enhancement using graph patterns.

revizor

An open-source generalized sparse linear algebra framework with vendor-agnostic GPUs accelerated computations

spla

Code anomaly detection in Kotlin compiler

kotlin-code-anomaly

SPAN Semi-supervised Peak Analyzer

span

Baselines and testing framework for code reviewer recommendation

batcore

Deep learning-based bug detector for IntelliJ

DeepBugsPlugin

A CFL-r-based static analyser

CoFRA

code-summarization-dataset

task-tracker-post-processing

Graphs and grammars for Context-Free Path Querying algorithms evaluation.

CFPQ_Data

IntelliJ Code Completion Benchmarking Toolkit

code-completion-benchmark-toolkit

JetNN

Gradle tools to analyze bitcode of a Kotlin/Native project

bitcode-tools

Litmus testing tool for Kotlin/Native (WIP)

litmuskt

Single cell ATAC-Seq Snakemake pipeline

scasat-smk-pipeline

An algorithm that re-splits Jupyter notebooks by merging and splitting their cells.

ReSplit

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

python-ml-type-hints

bus-factor-explorer

code-quality-ij-server

🌟 library with planning algorithms for AI Agents

planning-library

fine-tuning-ml-models

kinference-primitives

Single cell ATAC-Seq preprocessing for single cell explorer

sc-atacseq-explorer

depminer

refactoring-workshop-demo

kinference-examples

Louvain method for community detection, implemented in Kotlin

louvain

IntelliJ plugin for visualization of VCS changes statistics.

topias

docs-fine-tuning

contrastive-learning-framework

Materials for Computational Neuroscience Course 2020

cncourse

file-importance

ICTL + BILSEN project on using file importance in risk assessment

Translating humaneval into dafny

HumanEval-Dafny

Dafny

code-changes-clustering

Analyzing dependencies in Python projects and their dynamics

similar-python-dependencies

tasktracker-3

bugs-classification

KotlinMemoryModelResearch

nn-design-smells

Repository for utilities to create and test IntelliJ plugins

plugin-utilities

MR-loader

ChIP-Seq processing pipeline on snakemake

chipseq-smk-pipeline

Exploring automated BPE-like approaches to reduce the size of parse-trees

lumberjack

extract-method-experiments

Материалы по достижимости с ограничениями в терминах формальных языков

FormalLanguageConstrainedReachability-LectureNotes

TeX

ai-agents-code-editing

Exploring context retrieval strategies for code editing

Multi-Agent Dynamic Simulation framework

tag-prediction

effective-inference

mads

Evaluating metrics for code generation

metrics-evaluation

feature-recommendations

Benchmark suite for performance analysis of sparse graphs frameworks

spla-bench

Курс по формальным языкам: шаблон для домашних работ + материалы

formal-lang-course

linktracker

Build ONNX models in compile-time

kinference-compiler

agents-eval