Popular repositories Loading

1. reflekt reflekt Public

   A plugin for Kotlin compiler for compile-time reflection

   Kotlin 376 13

2. astminer astminer Public

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

   Kotlin 289 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. RefactorInsight RefactorInsight Public

   An IntelliJ IDEA plugin that detects refactorings in Git commits

   Java 107 11

6. coqpilot coqpilot Public

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

   TypeScript 106 4