Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 372 13

  2. astminer astminer Public

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

    Kotlin 287 81

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 169 7

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 126 6

  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 192 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 (Software Testing Research) for research purposes.

    Kotlin 66 MIT 26 34 6 Updated Mar 28, 2025
  • federated-compute-server-odp Public Forked from privacysandbox/odp-federatedcompute
    Java 0 Apache-2.0 4 0 0 Updated Mar 28, 2025
  • verified-cogen Public

    Repo for PLAN's verified code generation project

    Rust 8 1 0 3 Updated Mar 28, 2025
  • kotlinx.fuzz Public

    Fuzzer for Kotlin libraries

    Kotlin 19 Apache-2.0 1 0 2 Updated Mar 28, 2025
  • EvalAI-CO4 Public template Forked from Cloud-CV/EvalAI-Starters

    Drafting a challenge via EvalAI

    Python 1 169 0 0 Updated Mar 27, 2025
  • lca-baselines Public

    Baselines for all tasks from Long Code Arena benchmarks 🏟️

    Python 28 MIT 5 0 0 Updated Mar 26, 2025
  • coqpilot Public

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

    TypeScript 95 LGPL-2.1 5 1 0 Updated Mar 25, 2025
  • mxeval Public Forked from amazon-science/mxeval
    Python 0 Apache-2.0 23 0 0 Updated Mar 25, 2025
  • 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 4 44 1 Updated Mar 22, 2025
  • pubtrends-review Public

    Automatic generation of reviews of scientific papers

    Jupyter Notebook 29 MIT 4 0 0 Updated Mar 21, 2025
View all repositories