Skip to content
Change the repository type filter

All

    Repositories list

    • Repo for PLAN's verified code generation project
      Python
      1641Updated Dec 20, 2024Dec 20, 2024
    • examples from HumanEval translated to Nagini
      Python
      Apache License 2.0
      0101Updated Dec 20, 2024Dec 20, 2024
    • ChIP-Seq processing pipeline on snakemake
      Python
      2440Updated Dec 19, 2024Dec 19, 2024
    • Translating humaneval into dafny
      Dafny
      Apache License 2.0
      1480Updated Dec 16, 2024Dec 16, 2024
    • Python
      MIT License
      0100Updated 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
      2355595Updated Dec 13, 2024Dec 13, 2024
    • LESS

      Public
      [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning
      Jupyter Notebook
      MIT License
      36001Updated Dec 12, 2024Dec 12, 2024
    • 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
      0400Updated Dec 11, 2024Dec 11, 2024
    • coqpilot

      Public
      VSCode extension that is designed to help automate writing of Coq proofs.
      TypeScript
      GNU Lesser General Public License v2.1
      37610Updated Dec 11, 2024Dec 11, 2024
    • Python
      Apache License 2.0
      1300Updated 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.
      Jupyter Notebook
      1100Updated Dec 6, 2024Dec 6, 2024
    • KEEPs

      Public
      Repo for Kotlin KEEPs by PLAN
      0200Updated Dec 3, 2024Dec 3, 2024
    • Running ONNX models in vanilla Kotlin
      Kotlin
      Apache License 2.0
      615852Updated Nov 29, 2024Nov 29, 2024
    • [WIP] Data for HAX-in-IDE literature review
      TypeScript
      3000Updated Nov 28, 2024Nov 28, 2024
    • jbr

      Public
      JBR Genome Browser
      Dockerfile
      0111040Updated Nov 26, 2024Nov 26, 2024
    • Bioinformatics library in Kotlin
      Kotlin
      MIT License
      33010Updated Nov 25, 2024Nov 25, 2024
    • Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
      Python
      MIT License
      7611202Updated Nov 14, 2024Nov 14, 2024
    • span

      Public
      SPAN Semi-supervised Peak Analyzer
      Kotlin
      MIT License
      1930Updated Nov 11, 2024Nov 11, 2024
    • Automatic generation of reviews of scientific papers
      Jupyter Notebook
      MIT License
      42900Updated Nov 11, 2024Nov 11, 2024
    • R
      MIT License
      0100Updated Nov 11, 2024Nov 11, 2024
    • Datasets analysis and comparison scripts for SPAN semi-supervised peak analyzer
      Jupyter Notebook
      0000Updated Nov 8, 2024Nov 8, 2024
    • Kotlin
      Apache License 2.0
      0500Updated Oct 30, 2024Oct 30, 2024
    • litmuskt

      Public
      Litmus testing tool for Kotlin/Native (WIP)
      Kotlin
      0501Updated Oct 2, 2024Oct 2, 2024
    • Exploring context retrieval strategies for code editing
      Python
      MIT License
      0600Updated Sep 23, 2024Sep 23, 2024
    • Python
      MIT License
      0100Updated Sep 12, 2024Sep 12, 2024
    • fishbone

      Public
      Fishbone Ishikawa diagrams construction and visualising
      JavaScript
      MIT License
      0330Updated Sep 12, 2024Sep 12, 2024
    • Baselines for all tasks from Long Code Arena benchmarks 🏟️
      Python
      MIT License
      32400Updated Sep 11, 2024Sep 11, 2024
    • Lama-lsp

      Public
      TypeScript
      0000Updated Aug 30, 2024Aug 30, 2024
    • mxeval

      Public
      Python
      Apache License 2.0
      22000Updated Aug 29, 2024Aug 29, 2024
    • Jupyter Notebook
      MIT License
      0200Updated Aug 14, 2024Aug 14, 2024