Skip to content

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 377 13

  2. astminer astminer Public

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

    Kotlin 290 82

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 180 7

  4. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 128 6

  5. coqpilot coqpilot Public

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

    TypeScript 109 4

  6. RefactorInsight RefactorInsight Public

    An IntelliJ IDEA plugin that detects refactorings in Git commits

    Java 107 11

Repositories

Showing 10 of 201 repositories

Top languages

Loading…

Most used topics

Loading…