breandan / cstk

Related projects ⓘ

Alternatives and complementary repositories for cstk

• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 4 years ago
• icse20 / RT-CI
  ☆11Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 2 months ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆34Updated 2 weeks ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• rohanmukh / nsg
  ☆20Updated 2 years ago
• jordiae / neural-compilers
  ☆18Updated 2 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆27Updated 6 years ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated 6 months ago
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 2 years ago
• JetBrains-Research / embeddings-for-trees
  Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.
  ☆22Updated 2 years ago
• cedricrupb / TSSB3M
  Mining tool and large-scale datasets of single statement bug fixes in Python
  ☆15Updated 11 months ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• rbavishi / autopandas
  OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
  ☆30Updated last year
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆48Updated last year
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free and weakly context-sensitive languages.
  ☆21Updated 3 weeks ago
• google-research / crossbeam
  ☆43Updated last year
• google-research-datasets / great
  The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…
  ☆22Updated 4 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated this week
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆14Updated 2 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 5 months ago
• WM-SEMERU / dl4se
  A Systematic Literature Review of Deep Learning in Software Engineering
  ☆18Updated 2 months ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 3 years ago
• almondtools / rexlex
  Regular Expressions and Lexing with DFAs
  ☆9Updated 6 months ago
• HiroakiMikami / mlprogram
  PyTorch library for synthesizing programs from natural language
  ☆18Updated 3 months ago