JetBrains-Research

All

183 repositories

coqpilot
Public
VSCode extension that is designed to help automate writing of Coq proofs.
TypeScript
•
GNU Lesser General Public License v2.1
•3•71•1•1•Updated Nov 16, 2024Nov 16, 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.
git agent ai
Jupyter Notebook
•1•1•0•0•Updated Nov 15, 2024Nov 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
•22•52•61•11•Updated Nov 14, 2024Nov 14, 2024
chipseq-smk-pipeline
Public
ChIP-Seq processing pipeline on snakemake
visualization quality-control snakemake pipeline chip-seq atac-seq peak-calling
Python
•2•4•4•0•Updated Nov 14, 2024Nov 14, 2024
snakecharm
Public
Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
bioinformatics-pipeline bioinformatics-tool python snakemake intellij pycharm intellij-plugins
Python
•
MIT License
•7•61•120•2•Updated Nov 14, 2024Nov 14, 2024
lca-solvers
Public
Python
•
MIT License
•0•1•0•0•Updated Nov 13, 2024Nov 13, 2024
verified-cogen
Public
Repo for PLAN's verified code generation project
Python
•1•6•4•1•Updated Nov 11, 2024Nov 11, 2024
span
Public
SPAN Semi-supervised Peak Analyzer
chip-seq peak-caller bioinformatics
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-processing pubmed extractive-summarization deep-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
HumanEval-Nagini
Public
examples from HumanEval translated to Nagini
Python
•
Apache License 2.0
•0•1•0•1•Updated Nov 4, 2024Nov 4, 2024
kinference
Public
Running ONNX models in vanilla Kotlin
kotlin machine-learning neural-networks onnx
Kotlin
•
Apache License 2.0
•6•155•5•3•Updated Nov 1, 2024Nov 1, 2024
kinference-primitives
Public
Kotlin
•
Apache License 2.0
•0•5•0•0•Updated Oct 30, 2024Oct 30, 2024
KEEPs
Public
Repo for Kotlin KEEPs by PLAN
0•2•0•0•Updated Oct 24, 2024Oct 24, 2024
HumanEval-Dafny
Public
Translating humaneval into dafny
Dafny
•
Apache License 2.0
•1•4•8•0•Updated Oct 16, 2024Oct 16, 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
bioinf-commons
Public
Bioinformatics library in Kotlin
hmm bioinformatics progress methylation dataset fasta chip-seq sampling bed bam
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•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•23•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
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•2•0•0•Updated Aug 1, 2024Aug 1, 2024
code2seq
Public
PyTorch's implementation of the code2seq model.
ml4code code2seq pytorch-lightning ml4se pytorch
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
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