Skip to content

Popular repositories

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 337 10

  2. astminer astminer Public

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

    Kotlin 277 80

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 137 6

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 123 5

  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 100 8

  6. RefactorInsight RefactorInsight Public

    An IntelliJ IDEA plugin that detects refactorings in Git commits

    Java 97 9

Repositories

Showing 10 of 175 repositories
  • coqpilot Public

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

    TypeScript 32 LGPL-2.1 2 1 0 Updated Apr 27, 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 (ICTL) for research purposes.

    Kotlin 29 MIT 4 16 2 Updated Apr 26, 2024
  • ide-workshop-tutorial Public

    Demo plugin for IDE workshop

    Kotlin 0 MIT 0 0 6 Updated Apr 26, 2024
  • span Public

    SPAN Semi-supervised Peak Analyzer

    Kotlin 8 MIT 1 3 0 Updated Apr 26, 2024
  • planning-library Public

    🌟 library with planning algorithms for AI Agents

    Jupyter Notebook 0 MIT 0 0 0 Updated Apr 26, 2024
  • Lama-lsp Public
    TypeScript 0 0 0 0 Updated Apr 24, 2024
  • Kotlin 3 0 8 2 Updated Apr 24, 2024
  • Jupyter Notebook 1 MIT 0 0 0 Updated Apr 24, 2024
  • snakecharm Public

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

    Python 61 MIT 7 111 2 Updated Apr 23, 2024
  • Python 0 MIT 0 0 0 Updated Apr 23, 2024

Top languages

Loading…

Most used topics

Loading…