Skip to content

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 170 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
  • pubtrends Public

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

    Python 41 Apache-2.0 4 44 1 Updated Apr 3, 2025
  • span Public

    SPAN Semi-supervised Peak Analyzer

    Kotlin 10 MIT 1 3 0 Updated Apr 3, 2025
  • pubtrends-review Public

    Automatic generation of reviews of scientific papers

    Jupyter Notebook 29 MIT 4 0 0 Updated Apr 3, 2025
  • tasktracker-3 Public
    Kotlin 6 0 8 1 Updated Apr 3, 2025
  • verified-cogen Public

    Repo for PLAN's verified code generation project

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

    Fuzzer for Kotlin libraries

    Kotlin 19 Apache-2.0 1 0 1 Updated Apr 2, 2025
  • coqpilot Public

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

    TypeScript 98 LGPL-2.1 5 1 0 Updated Apr 2, 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 66 MIT 26 35 7 Updated Apr 1, 2025
  • HumanEval-Dafny Public

    Translating humaneval into dafny

    Dafny 5 Apache-2.0 1 8 0 Updated Mar 31, 2025
  • lca-baselines Public

    Baselines for all tasks from Long Code Arena benchmarks 🏟️

    Python 28 MIT 5 0 0 Updated Mar 30, 2025