Skip to content

@JetBrains-Research JetBrains-Research

Change the repository type filter

All

    Repositories list

    183 repositories

    • lca-solvers

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Oct 2, 2024Oct 2, 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
      •13•47•71•10•Updated Oct 2, 2024Oct 2, 2024

    • HumanEval-Dafny

      Public
      Translating humaneval into dafny
      Dafny
      •
      Apache License 2.0
      •1•4•8•0•Updated Oct 2, 2024Oct 2, 2024

    • verified-cogen

      Public
      Repo for PLAN's verified code generation project
      Python
      •1•6•1•0•Updated Oct 2, 2024Oct 2, 2024

    • litmuskt

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

    • coqpilot

      Public
      VSCode extension that is designed to help automate writing of Coq proofs.
      TypeScript
      •
      GNU Lesser General Public License v2.1
      •2•44•1•0•Updated Oct 2, 2024Oct 2, 2024

    • kinference

      Public
      Running ONNX models in vanilla Kotlin
      kotlinmachine-learningneural-networksonnx
      Kotlin
      •
      Apache License 2.0
      •7•153•5•2•Updated Oct 1, 2024Oct 1, 2024

    • chipseq-smk-pipeline

      Public
      ChIP-Seq processing pipeline on snakemake
      visualizationquality-controlsnakemakepipelinechip-seqatac-seqpeak-calling
      Python
      •2•3•4•0•Updated Sep 30, 2024Sep 30, 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 Sep 27, 2024Sep 27, 2024

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

      Public
      R
      •
      MIT License
      •0•1•0•0•Updated Sep 24, 2024Sep 24, 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

    • span-analysis

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

    • KEEPs

      Public
      Repo for Kotlin KEEPs by PLAN
      0•2•0•0•Updated Sep 17, 2024Sep 17, 2024

    • span

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

    • HumanEval-Nagini

      Public
      examples from HumanEval translated to Nagini
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 12, 2024Sep 12, 2024

    • bioinf-commons

      Public
      Bioinformatics library in Kotlin
      hmmbioinformaticsprogressmethylationdatasetfastachip-seqsamplingbedbam
      Kotlin
      •
      MIT License
      •3•31•1•0•Updated Sep 12, 2024Sep 12, 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•2•3•0•Updated Sep 12, 2024Sep 12, 2024

    • lca-baselines

      Public
      Baselines for all tasks from Long Code Arena benchmarks 🏟️
      Python
      •
      MIT License
      •2•21•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
      •21•0•0•0•Updated Aug 29, 2024Aug 29, 2024

    • agents-eval

      Public
      Jupyter Notebook
      •
      MIT License
      •0•2•0•0•Updated Aug 14, 2024Aug 14, 2024

    • llm-guide-refactorings

      Public
      Kotlin
      •
      MIT License
      •1•1•0•0•Updated Aug 1, 2024Aug 1, 2024

    • code2seq

      Public
      PyTorch's implementation of the code2seq model.
      ml4codecode2seqpytorch-lightningml4sepytorch
      Python
      •
      MIT License
      •18•61•4•3•Updated Jul 25, 2024Jul 25, 2024

    • planning-library

      Public
      🌟 library with planning algorithms for AI Agents
      Python
      •
      MIT License
      •0•5•0•0•Updated Jul 23, 2024Jul 23, 2024

    • kinference-primitives

      Public
      Kotlin
      •
      Apache License 2.0
      •0•5•0•0•Updated Jul 16, 2024Jul 16, 2024

    • Nagini-Convertion

      Public
      C#
      •
      Other
      •0•1•0•1•Updated Jul 15, 2024Jul 15, 2024

    • viktor

      Public
      Efficient f64-only ndarray in Kotlin
      Kotlin
      •
      MIT License
      •6•125•15•1•Updated Jul 13, 2024Jul 13, 2024

    • ide-workshop-tutorial

      Public
      Demo plugin for IDE workshop
      Kotlin
      •
      MIT License
      •0•1•0•8•Updated Jul 4, 2024Jul 4, 2024

    • notebook-llm-agents

      Public
      0•0•0•0•Updated Jun 28, 2024Jun 28, 2024