Skip to content

@JetBrains-Research JetBrains-Research

Change the repository type filter

All

    Repositories list

    186 repositories

    • verified-cogen

      Public
      Repo for PLAN's verified code generation project
      Python
      •1•6•4•0•Updated Jan 8, 2025Jan 8, 2025

    • HumanEval-Dafny

      Public
      Translating humaneval into dafny
      Dafny
      •
      Apache License 2.0
      •1•4•8•0•Updated Jan 6, 2025Jan 6, 2025

    • HumanEval-Nagini

      Public
      examples from HumanEval translated to Nagini
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 6, 2025Jan 6, 2025

    • KEEPs

      Public
      Repo for Kotlin KEEPs by PLAN
      0•2•0•0•Updated Jan 5, 2025Jan 5, 2025

    • tasktracker-3

      Public
      Kotlin
      •0•3•8•1•Updated Jan 3, 2025Jan 3, 2025

    • stack-trace-deduplication

      Public
      Code for the embedding and reranker models, as well for evaluation from the paper "Stack Trace Deduplication: Faster, More Accurately, and in More Realistic Scenarios".
      Python
      •
      MIT License
      •0•4•0•0•Updated Dec 25, 2024Dec 25, 2024

    • chipseq-smk-pipeline

      Public
      ChIP-Seq processing pipeline on snakemake
      visualizationquality-controlsnakemakepipelinechip-seqatac-seqpeak-calling
      Python
      •2•3•4•0•Updated Dec 19, 2024Dec 19, 2024

    • lca-solvers

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Dec 15, 2024Dec 15, 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 (Software Testing Research) for research purposes.
      Kotlin
      •
      MIT License
      •23•55•59•5•Updated Dec 13, 2024Dec 13, 2024

    • LESS

      Public
      [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
      Jupyter Notebook
      •
      MIT License
      •39•0•0•1•Updated Dec 12, 2024Dec 12, 2024

    • coqpilot

      Public
      VSCode extension that is designed to help automate writing of Coq proofs.
      TypeScript
      •
      GNU Lesser General Public License v2.1
      •3•79•1•0•Updated Dec 11, 2024Dec 11, 2024

    • PandasPlotBench

      Public
      Python
      •
      Apache License 2.0
      •1•2•0•0•Updated Dec 9, 2024Dec 9, 2024

    • vcs-agent

      Public
      An AI agent for git including a data miner for extracting git scenarios from repositories and novel dataset defining such scenarios.
      gitagentai
      Jupyter Notebook
      •1•1•0•0•Updated Dec 6, 2024Dec 6, 2024

    • kinference

      Public
      Running ONNX models in vanilla Kotlin
      kotlinmachine-learningneural-networksonnx
      Kotlin
      •
      Apache License 2.0
      •6•160•5•2•Updated Nov 29, 2024Nov 29, 2024

    • hax-ide-litreview

      Public
      [WIP] Data for HAX-in-IDE literature review
      TypeScript
      •3•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • jbr

      Public
      JBR Genome Browser
      genome-browser
      Dockerfile
      •0•11•105•0•Updated Nov 26, 2024Nov 26, 2024

    • bioinf-commons

      Public
      Bioinformatics library in Kotlin
      hmmbioinformaticsprogressmethylationdatasetfastachip-seqsamplingbedbam
      Kotlin
      •
      MIT License
      •3•30•1•0•Updated Nov 25, 2024Nov 25, 2024

    • snakecharm

      Public
      Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
      bioinformatics-pipelinebioinformatics-toolpythonsnakemakeintellijpycharmintellij-plugins
      Python
      •
      MIT License
      •7•61•120•2•Updated Nov 14, 2024Nov 14, 2024

    • span

      Public
      SPAN Semi-supervised Peak Analyzer
      chip-seqpeak-callerbioinformatics
      Kotlin
      •
      MIT License
      •1•9•3•0•Updated Nov 11, 2024Nov 11, 2024

    • pubtrends-review

      Public
      Automatic generation of reviews of scientific papers
      natural-language-processingpubmedextractive-summarizationdeep-learning
      Jupyter Notebook
      •
      MIT License
      •4•29•0•0•Updated Nov 11, 2024Nov 11, 2024

    • cd38-in-cd8-cd4-naive-cytek

      Public
      R
      •
      MIT License
      •0•1•0•0•Updated Nov 11, 2024Nov 11, 2024

    • span-analysis

      Public
      Datasets analysis and comparison scripts for SPAN semi-supervised peak analyzer
      Jupyter Notebook
      •0•0•0•0•Updated Nov 8, 2024Nov 8, 2024

    • kinference-primitives

      Public
      Kotlin
      •
      Apache License 2.0
      •0•5•0•0•Updated Oct 30, 2024Oct 30, 2024

    • litmuskt

      Public
      Litmus testing tool for Kotlin/Native (WIP)
      Kotlin
      •0•5•0•1•Updated Oct 2, 2024Oct 2, 2024

    • ai-agents-code-editing

      Public
      Exploring context retrieval strategies for code editing
      Python
      •
      MIT License
      •0•6•0•0•Updated Sep 23, 2024Sep 23, 2024

    • on-device-agents

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Sep 12, 2024Sep 12, 2024

    • fishbone

      Public
      Fishbone Ishikawa diagrams construction and visualising
      JavaScript
      •
      MIT License
      •0•3•3•0•Updated Sep 12, 2024Sep 12, 2024

    • lca-baselines

      Public
      Baselines for all tasks from Long Code Arena benchmarks 🏟️
      Python
      •
      MIT License
      •3•24•0•0•Updated Sep 11, 2024Sep 11, 2024

    • Lama-lsp

      Public
      TypeScript
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • mxeval

      Public
      Python
      •
      Apache License 2.0
      •22•0•0•0•Updated Aug 29, 2024Aug 29, 2024