Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 358 11

  2. astminer astminer Public

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

    Kotlin 280 80

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 151 6

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 124 6

  5. 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 101 8

  6. RefactorInsight RefactorInsight Public

    An IntelliJ IDEA plugin that detects refactorings in Git commits

    Java 99 9

Repositories

Showing 10 of 178 repositories
  • 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 (ICTL) for research purposes.

    JetBrains-Research/TestSpark’s past year of commit activity
    Kotlin 42 MIT 10 67 6 Updated Aug 30, 2024
  • Lama-lsp Public
    JetBrains-Research/Lama-lsp’s past year of commit activity
    TypeScript 0 0 0 0 Updated Aug 30, 2024
  • kinference Public

    Running ONNX models in vanilla Kotlin

    JetBrains-Research/kinference’s past year of commit activity
    Kotlin 151 Apache-2.0 6 6 (1 issue needs help) 2 Updated Aug 30, 2024
  • lca-solvers Public
    JetBrains-Research/lca-solvers’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Aug 29, 2024
  • mxeval Public Forked from amazon-science/mxeval
    JetBrains-Research/mxeval’s past year of commit activity
    Python 0 Apache-2.0 21 0 0 Updated Aug 29, 2024
  • KEEPs Public

    Repo for Kotlin KEEPs by PLAN

    JetBrains-Research/KEEPs’s past year of commit activity
    2 0 0 0 Updated Aug 28, 2024
  • coqpilot Public

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

    JetBrains-Research/coqpilot’s past year of commit activity
    TypeScript 43 LGPL-2.1 2 1 0 Updated Aug 27, 2024
  • ai-agents-code-editing Public

    Exploring context retrieval strategies for code editing

    JetBrains-Research/ai-agents-code-editing’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Aug 26, 2024
  • verified-cogen Public

    Repo for PLAN's verified code generation project

    JetBrains-Research/verified-cogen’s past year of commit activity
    Python 3 0 1 (1 issue needs help) 0 Updated Aug 22, 2024
  • vcs-agent Public

    An AI agent that can perform git scenarions including a novel dataset defining such scenarios.

    JetBrains-Research/vcs-agent’s past year of commit activity
    Jupyter Notebook 1 1 0 0 Updated Aug 22, 2024
View all repositories

Most used topics

Loading…