JetBrains-Research

JetBrains-Research's repositories

kinference

Running ONNX models in vanilla Kotlin

Language:KotlinApache-2.0191 14 13

viktor

Efficient f64-only ndarray in Kotlin

Language:KotlinMIT132 11 48

coqpilot

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

Language:TypeScriptLGPL-2.1113 4 5

kotlinx.fuzz

Fuzzer for Kotlin libraries

Language:KotlinApache-2.010600

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.

Language:KotlinMIT81 1 175

snakecharm

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

Language:PythonMIT62 4 428

pubtrends

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

Language:PythonApache-2.049 9 291

bioinf-commons

Bioinformatics library in Kotlin

Language:KotlinMIT34 12 9

ase2025-starter-kit

Language:PythonMIT2500

EnvBench

[DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup

Language:PythonMIT2300

jbr

JBR Genome Browser

Language:Dockerfile11 9 289

KOALA

Language:KotlinMIT10 7 8

verified-cogen

Repo for PLAN's verified code generation project

Language:Rust10 12 4

span

SPAN Peak Analyzer

Language:KotlinMIT9 11 37

chipseq-smk-pipeline

ChIP-Seq processing pipeline on snakemake

Language:Python5 9 6

kinference-primitives

Language:KotlinApache-2.05 140

YouTokenToMe

Unsupervised text tokenizer focused on computational efficiency

Language:C++MIT5 20

fishbone

Fishbone Ishikawa diagrams construction and visualising

Language:JavaScriptMIT4 8 3

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.

Language:TypeScript400