• Stars
    star
    5
  • Rank 2,861,474 (Top 57 %)
  • Language
    Python
  • License
    MIT License
  • Created 9 months ago
  • Updated 3 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

🌟 library with planning algorithms for AI Agents

More Repositories

1

reflekt

A plugin for Kotlin compiler for compile-time reflection
Kotlin
362
star
2

astminer

A library for mining of path-based representations of code (and more)
Kotlin
280
star
3

kinference

Running ONNX models in vanilla Kotlin
Kotlin
151
star
4

viktor

Efficient f64-only ndarray in Kotlin
Kotlin
119
star
5

RefactorInsight

An IntelliJ IDEA plugin that detects refactorings in Git commits
Java
103
star
6

anti-copy-paster

A plugin for IntelliJ IDEA for extracting code duplicates into a new method as soon as they are introduced.
Java
101
star
7

code2seq

PyTorch's implementation of the code2seq model.
Python
61
star
8

snakecharm

Plugin for PyCharm / IntelliJ IDEA Platform IDEs which adds support for Snakemake language.
Python
58
star
9

commit_message_generation

🌟 replication package for 📜 From Commit Message Generation to History-Aware Commit Message Completion, ASE 2023
Python
56
star
10

psiminer

A Tool for Mining Rich Abstract Syntax Trees from Code
Kotlin
56
star
11

IntelliJDeodorant

The project is not actively supported.
Java
56
star
12

npy

NPY and NPZ support for the JVM
Kotlin
51
star
13

PyNose

A test smell detector for Python.
Kotlin
49
star
14

TestSpark

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
47
star
15

sosed

Finding similar repositories on GitHub
Python
45
star
16

coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.
TypeScript
44
star
17

pubtrends

Scientific literature explorer. Runs a Pubmed or Semantic Scholar search and allows user to explore high-level structure of result papers
Jupyter Notebook
35
star
18

bioinf-commons

Bioinformatics library in Kotlin
Kotlin
29
star
19

pubtrends-review

Automatic generation of reviews of scientific papers
Jupyter Notebook
28
star
20

buckwheat

A multi-language tokenizer for extracting identifiers from source code.
Jupyter Notebook
24
star
21

Lupa

A framework for the large scale analysis of programming language usage.
Jupyter Notebook
24
star
22

sorrel

Plugin for checking license compatibility in IntelliJ IDEA
Kotlin
22
star
23

embeddings-for-trees

Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.
Python
22
star
24

lca-baselines

Baselines for all tasks from Long Code Arena benchmarks 🏟️
Python
22
star
25

authorship-detection

Evaluation of source authorship attribution tool
Python
21
star
26

paddle

Young and dynamic build system for Python
Kotlin
20
star
27

python-change-miner

A tool for mining graph-based change patterns in Python code
Python
19
star
28

IRen

Java
19
star
29

bumblebee

An IntelliJ-based IDE plugin for Python AST transformations
Kotlin
18
star
30

Matroskin

A library for the large scale analysis of Jupyter notebooks
Python
18
star
31

kotlinRMiner

Detects performed refactorings in the changes in Kotlin code
Java
16
star
32

tnm

Kotlin
14
star
33

cuBool

Sparse linear Boolean algebra for Nvidia Cuda
C++
14
star
34

adhd-study

Jupyter Notebook
13
star
35

big

BigWIG, BigBED and TDF for the JVM
Kotlin
12
star
36

spbla

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
C++
12
star
37

CFPQ_PyAlgo

The collection of Context-Free Path Querying algorithms
Python
10
star
38

jbr

JBR Genome Browser
Dockerfile
10
star
39

gorshochek

[WIP] A tool for C++ code modification to augment data for clone detection tools
C++
10
star
40

hldiff

Language-independent high-level differencing tool
Kotlin
10
star
41

CFPQ-on-GPGPU

Cuda
10
star
42

data-driven-type-migration

An IntelliJ IDEA plugin improving type migration refactoring using inferred type conversion rules
Java
9
star
43

task-tracker-plugin

Kotlin
8
star
44

revizor

A data-driven PyCharm plugin for code enhancement using graph patterns.
Kotlin
8
star
45

spla

An open-source generalized sparse linear algebra framework with vendor-agnostic GPUs accelerated computations
C++
8
star
46

kotlin-code-anomaly

Code anomaly detection in Kotlin compiler
Jupyter Notebook
7
star
47

span

SPAN Semi-supervised Peak Analyzer
Kotlin
7
star
48

batcore

Baselines and testing framework for code reviewer recommendation
Python
7
star
49

DeepBugsPlugin

Deep learning-based bug detector for IntelliJ
Kotlin
6
star
50

CoFRA

A CFL-r-based static analyser
C#
6
star
51

code-summarization-dataset

Kotlin
6
star
52

task-tracker-post-processing

Python
6
star
53

CFPQ_Data

Graphs and grammars for Context-Free Path Querying algorithms evaluation.
Python
6
star
54

code-completion-benchmark-toolkit

IntelliJ Code Completion Benchmarking Toolkit
Kotlin
6
star
55

JetNN

Python
6
star
56

bitcode-tools

Gradle tools to analyze bitcode of a Kotlin/Native project
Kotlin
5
star
57

litmuskt

Litmus testing tool for Kotlin/Native (WIP)
Kotlin
5
star
58

scasat-smk-pipeline

Single cell ATAC-Seq Snakemake pipeline
Python
5
star
59

ReSplit

An algorithm that re-splits Jupyter notebooks by merging and splitting their cells.
Jupyter Notebook
5
star
60

python-ml-type-hints

5
star
61

bus-factor-explorer

A web app for exploring Bus Factor of GitHub projects by analyzing the commit history.
Jupyter Notebook
5
star
62

code-quality-ij-server

Kotlin
5
star
63

fine-tuning-ml-models

Python
5
star
64

kinference-primitives

Kotlin
5
star
65

sc-atacseq-explorer

Single cell ATAC-Seq preprocessing for single cell explorer
Jupyter Notebook
5
star
66

depminer

Kotlin
5
star
67

refactoring-workshop-demo

Kotlin
4
star
68

kinference-examples

Kotlin
4
star
69

louvain

Louvain method for community detection, implemented in Kotlin
Kotlin
4
star
70

topias

IntelliJ plugin for visualization of VCS changes statistics.
Java
4
star
71

docs-fine-tuning

Python
4
star
72

contrastive-learning-framework

Python
4
star
73

cncourse

Materials for Computational Neuroscience Course 2020
4
star
74

file-importance

ICTL + BILSEN project on using file importance in risk assessment
Python
4
star
75

overcoming

Jupyter Notebook
4
star
76

HumanEval-Dafny

Translating humaneval into dafny
Dafny
4
star
77

code-changes-clustering

Jupyter Notebook
4
star
78

similar-python-dependencies

Analyzing dependencies in Python projects and their dynamics
Python
4
star
79

tasktracker-3

Kotlin
3
star
80

bugs-classification

Java
3
star
81

KotlinMemoryModelResearch

3
star
82

nn-design-smells

Python
3
star
83

plugin-utilities

Repository for utilities to create and test IntelliJ plugins
Kotlin
3
star
84

MR-loader

Kotlin
3
star
85

chipseq-smk-pipeline

ChIP-Seq processing pipeline on snakemake
Python
3
star
86

lumberjack

Exploring automated BPE-like approaches to reduce the size of parse-trees
Kotlin
3
star
87

extract-method-experiments

Jupyter Notebook
3
star
88

FormalLanguageConstrainedReachability-LectureNotes

Материалы по достижимости с ограничениями в терминах формальных языков
TeX
3
star
89

ai-agents-code-editing

Exploring context retrieval strategies for code editing
Python
3
star
90

tag-prediction

2
star
91

effective-inference

2
star
92

mads

Multi-Agent Dynamic Simulation framework
Kotlin
2
star
93

metrics-evaluation

Evaluating metrics for code generation
Python
2
star
94

feature-recommendations

Python
2
star
95

spla-bench

Benchmark suite for performance analysis of sparse graphs frameworks
Python
2
star
96

formal-lang-course

Курс по формальным языкам: шаблон для домашних работ + материалы
Python
2
star
97

linktracker

Kotlin
2
star
98

kinference-compiler

Build ONNX models in compile-time
Kotlin
2
star
99

agents-eval

Jupyter Notebook
2
star
100

fishbone

Fishbone Ishikawa diagrams construction and visualising
JavaScript
2
star