Skip to content
@JetBrains-Research

JetBrains-Research

Popular repositories Loading

  1. reflekt reflekt Public

    A plugin for Kotlin compiler for compile-time reflection

    Kotlin 378 13

  2. astminer astminer Public archive

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

    Kotlin 299 77

  3. kinference kinference Public

    Running ONNX models in vanilla Kotlin

    Kotlin 211 10

  4. kotlinllm-plugin kotlinllm-plugin Public

    KotlinLLM is an IntelliJ IDEA plugin prototype for experimenting with LLM-driven Smart macros in Kotlin, enabling code generation, runtime updates, and hot-reloading.

    Kotlin 173 12

  5. viktor viktor Public

    Efficient f64-only ndarray in Kotlin

    Kotlin 142 7

  6. coqpilot coqpilot Public

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

    TypeScript 131 6

Repositories

Showing 10 of 229 repositories
  • opake Public

    Functional DP-SGD and DP-FTRL for PyTorch.

    JetBrains-Research/opake's past year of commit activity
    Python 3 Apache-2.0 0 56 13 Updated Sep 23, 2026
  • idegym Public
    JetBrains-Research/idegym's past year of commit activity
    Python 26 MIT 1 0 15 Updated Sep 22, 2026
  • pytorch Public Forked from pytorch/pytorch

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    JetBrains-Research/pytorch's past year of commit activity
    Python 0 31,481 0 1 Updated Sep 22, 2026
  • kata-containers Public Forked from kata-containers/kata-containers

    Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

    JetBrains-Research/kata-containers's past year of commit activity
    Rust 0 Apache-2.0 1,618 0 0 Updated Sep 20, 2026
  • Runway Public

    Runway is an open-source service for executing code through a queue-backed service and worker architecture.

    JetBrains-Research/Runway's past year of commit activity
    Kotlin 5 MIT 0 0 19 Updated Sep 19, 2026
  • crusoe-registry-pruner Public

    Single-shot Go job that deletes stale manifests from Crusoe Container Registry (CCR)

    JetBrains-Research/crusoe-registry-pruner's past year of commit activity
    Go 0 MIT 0 0 0 Updated Sep 9, 2026
  • terraform-provider-crusoe Public Forked from crusoecloud/terraform-provider-crusoe

    Terraform Crusoe Cloud provider

    JetBrains-Research/terraform-provider-crusoe's past year of commit activity
    Go 0 11 0 0 Updated Sep 4, 2026
  • qfarm Public

    Quantitative Association Rule Mining

    JetBrains-Research/qfarm's past year of commit activity
    Kotlin 1 MIT 0 10 0 Updated Aug 25, 2026
  • snakecharm Public

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

    JetBrains-Research/snakecharm's past year of commit activity
    Python 64 MIT 10 137 8 Updated Aug 18, 2026
  • crusoe-registry-token-rotator-helm-charts Public Forked from crusoecloud/crusoe-registry-token-rotator-helm-charts
    JetBrains-Research/crusoe-registry-token-rotator-helm-charts's past year of commit activity
    Python 0 MIT 2 0 0 Updated Aug 15, 2026
View all repositories