Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 370 13

  2. astminer astminer Public

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

    Kotlin 286 81

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 168 7

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 126 7

  5. RefactorInsight RefactorInsight Public

    An IntelliJ IDEA plugin that detects refactorings in Git commits

    Java 106 11

  6. anti-copy-paster anti-copy-paster Public

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

    Java 103 9

Repositories

Showing 10 of 189 repositories
  • pubtrends Public

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

    Jupyter Notebook 40 Apache-2.0 3 43 1 Updated Mar 8, 2025
  • TestSpark Public

    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.

    Kotlin 64 MIT 24 59 3 Updated Mar 7, 2025
  • kotlinx.fuzz Public

    Fuzzer for Kotlin libraries

    Kotlin 18 Apache-2.0 1 0 1 Updated Mar 7, 2025
  • pubtrends-review Public

    Automatic generation of reviews of scientific papers

    Jupyter Notebook 29 MIT 4 0 0 Updated Mar 7, 2025
  • coqpilot Public

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

    TypeScript 94 LGPL-2.1 4 1 0 Updated Mar 7, 2025
  • tasktracker-3 Public
    Kotlin 4 0 8 1 Updated Mar 6, 2025
  • Lama-lsp Public
    TypeScript 0 0 0 0 Updated Mar 4, 2025
  • verified-cogen Public

    Repo for PLAN's verified code generation project

    Rust 7 1 0 5 Updated Mar 3, 2025
  • span-analysis Public

    Datasets analysis and comparison scripts for SPAN semi-supervised peak analyzer

    Jupyter Notebook 0 0 0 0 Updated Mar 3, 2025
  • tensorflow-federated Public Forked from google-parfait/tensorflow-federated

    An open-source framework for machine learning and other computations on decentralized data.

    Python 0 Apache-2.0 609 0 0 Updated Mar 3, 2025
View all repositories

Most used topics

Loading…