Alternatives and similar repositories for cstk

Users that are interested in cstk are comparing it to the libraries listed below

• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 6 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 6 years ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year
• rohanmukh / nsg
  ☆20Updated 3 years ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 4 years ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated last year
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 3 years ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆27Updated 3 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• google-research / r_u_sure
  Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"
  ☆19Updated 2 weeks ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆51Updated 3 years ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• jianguda / afm4acs
  ☆15Updated 4 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆27Updated 7 years ago
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free languages.
  ☆23Updated last week
• 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 5 years ago
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 3 years ago
• icse20 / RT-CI
  ☆11Updated 4 years ago
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆56Updated last year
• lu-cs-sde / metadl
  MetaDL: Datalog analyzing Datalog, Java or any language of your choice
  ☆16Updated 6 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆32Updated 2 years ago