Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 382 13

  2. astminer astminer Public archive

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

    Kotlin 299 79

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 205 9

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 138 7

  5. coqpilot coqpilot Public

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

    TypeScript 128 6

  6. kotlinx.fuzz kotlinx.fuzz Public

    Fuzzer for Kotlin libraries

    Kotlin 122 7

Repositories

Showing 10 of 217 repositories
  • CodeCocoon-Plugin Public
    JetBrains-Research/CodeCocoon-Plugin’s past year of commit activity
    Kotlin 3 1 2 1 Updated Apr 18, 2026
  • idegym Public
    JetBrains-Research/idegym’s past year of commit activity
    Python 4 MIT 0 0 2 Updated Apr 18, 2026
  • chipseq-smk-pipeline Public

    ChIP-Seq processing pipeline on snakemake

    JetBrains-Research/chipseq-smk-pipeline’s past year of commit activity
    Python 9 MIT 2 7 0 Updated Apr 17, 2026
  • qfarm Public

    Quantitative Association Rule Mining

    JetBrains-Research/qfarm’s past year of commit activity
    Kotlin 1 MIT 0 10 0 Updated Apr 17, 2026
  • pubtrends-datasets Public

    Datasets integration for PubTrends

    JetBrains-Research/pubtrends-datasets’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 17, 2026
  • DPTrainer Public
    JetBrains-Research/DPTrainer’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 17, 2026
  • coqpilot Public

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

    JetBrains-Research/coqpilot’s past year of commit activity
    TypeScript 128 LGPL-2.1 6 1 0 Updated Apr 15, 2026
  • pubtrends Public

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

    JetBrains-Research/pubtrends’s past year of commit activity
    Jupyter Notebook 51 Apache-2.0 5 19 1 Updated Apr 15, 2026
  • routing-preference Public

    Optimal Routing

    JetBrains-Research/routing-preference’s past year of commit activity
    Python 1 MIT 0 3 0 Updated Apr 4, 2026
  • learned-mia Public
    JetBrains-Research/learned-mia’s past year of commit activity
    Python 0 0 0 0 Updated Apr 3, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…