Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 363 11

  2. astminer astminer Public

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

    Kotlin 282 80

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 157 6

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 125 6

  5. RefactorInsight RefactorInsight Public

    An IntelliJ IDEA plugin that detects refactorings in Git commits

    Java 104 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 102 9

Repositories

Showing 10 of 184 repositories
  • coqpilot Public

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

    JetBrains-Research/coqpilot’s past year of commit activity
    TypeScript 73 LGPL-2.1 3 1 1 Updated Nov 26, 2024
  • jbr Public

    JBR Genome Browser

    JetBrains-Research/jbr’s past year of commit activity
    Dockerfile 11 0 103 0 Updated Nov 26, 2024
  • bioinf-commons Public

    Bioinformatics library in Kotlin

    JetBrains-Research/bioinf-commons’s past year of commit activity
    Kotlin 30 MIT 3 1 0 Updated Nov 25, 2024
  • 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.

    JetBrains-Research/TestSpark’s past year of commit activity
    Kotlin 54 MIT 23 61 13 Updated Nov 25, 2024
  • HumanEval-Nagini Public

    examples from HumanEval translated to Nagini

    JetBrains-Research/HumanEval-Nagini’s past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Nov 16, 2024
  • vcs-agent Public

    An AI agent for git including a data miner for extracting git scenarios from repositories and novel dataset defining such scenarios.

    JetBrains-Research/vcs-agent’s past year of commit activity
    Jupyter Notebook 1 1 0 0 Updated Nov 15, 2024
  • chipseq-smk-pipeline Public

    ChIP-Seq processing pipeline on snakemake

    JetBrains-Research/chipseq-smk-pipeline’s past year of commit activity
    Python 4 2 4 0 Updated Nov 14, 2024
  • snakecharm Public

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

    JetBrains-Research/snakecharm’s past year of commit activity
    Python 61 MIT 7 120 2 Updated Nov 14, 2024
  • lca-solvers Public
    JetBrains-Research/lca-solvers’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Nov 13, 2024
  • verified-cogen Public

    Repo for PLAN's verified code generation project

    JetBrains-Research/verified-cogen’s past year of commit activity
    Python 6 1 4 (1 issue needs help) 1 Updated Nov 11, 2024
View all repositories

Most used topics

Loading…