Pinned Repositories
anti-copy-paster
A plugin for IntelliJ IDEA for extracting code duplicates into a new method as soon as they are introduced.
astminer
A library for mining of path-based representations of code (and more)
coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
kinference
Running ONNX models in vanilla Kotlin
kotlinx.fuzz
Fuzzer for Kotlin libraries
RefactorInsight
An IntelliJ IDEA plugin that detects refactorings in Git commits
reflekt
A plugin for Kotlin compiler for compile-time reflection
snakecharm
Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
TestSpark
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.
viktor
Efficient f64-only ndarray in Kotlin
JetBrains-Research's Repositories
JetBrains-Research/kinference
Running ONNX models in vanilla Kotlin
JetBrains-Research/viktor
Efficient f64-only ndarray in Kotlin
JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
JetBrains-Research/kotlinx.fuzz
Fuzzer for Kotlin libraries
JetBrains-Research/TestSpark
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.
JetBrains-Research/snakecharm
Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
JetBrains-Research/pubtrends
Scientific literature explorer. Runs a Pubmed or Semantic Scholar search and allows user to explore high-level structure of result papers
JetBrains-Research/bioinf-commons
Bioinformatics library in Kotlin
JetBrains-Research/ase2025-starter-kit
JetBrains-Research/EnvBench
[DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup
JetBrains-Research/jbr
JBR Genome Browser
JetBrains-Research/KOALA
JetBrains-Research/verified-cogen
Repo for PLAN's verified code generation project
JetBrains-Research/span
SPAN Peak Analyzer
JetBrains-Research/chipseq-smk-pipeline
ChIP-Seq processing pipeline on snakemake
JetBrains-Research/kinference-primitives
JetBrains-Research/YouTokenToMe
Unsupervised text tokenizer focused on computational efficiency
JetBrains-Research/fishbone
Fishbone Ishikawa diagrams construction and visualising
JetBrains-Research/rocqstar-rag
BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the dataset by a significant factor.
JetBrains-Research/git-good-bench
Repository accompanying our REALM '25 publication: "GitGoodBench: A Novel Benchmark For Evaluating Agentic Performance On Git"
JetBrains-Research/omnipeak
A universal HMM-based peak caller capable of processing a broad range of ChIP-seq, ATAC-seq, and single-cell ATAC-seq datasets of different quality.
JetBrains-Research/federated-compute-server-odp
JetBrains-Research/opacus
Training PyTorch models with differential privacy
JetBrains-Research/tensorflow-federated
An open-source framework for machine learning and other computations on decentralized data.
JetBrains-Research/coordinator-services-and-shared-libraries
JetBrains-Research/differential-privacy
Google's differential privacy libraries.
JetBrains-Research/edm-workshop-tasks
JetBrains-Research/Mutassertix
JetBrains-Research/peak-callers-analysis
Datasets analysis and comparison scripts for SPAN semi-supervised peak analyzer
JetBrains-Research/tensorflow
An Open Source Machine Learning Framework for Everyone