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 last year
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆39Updated 3 months ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 5 years ago
• jordiae / neural-compilers
  ☆18Updated 2 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• gitbugactions / gitbugactions
  ⚙️ A tool to collect executable code datasets with GitHub Actions ⚙️
  ☆21Updated this week
• rohanmukh / nsg
  ☆20Updated 2 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free and weakly context-sensitive languages.
  ☆22Updated this week
• google-research / runtime-error-prediction
  This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…
  ☆25Updated 2 years ago
• cedricrupb / TSSB3M
  Mining tool and large-scale datasets of single statement bug fixes in Python
  ☆15Updated last year
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated 10 months ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated 10 months ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 5 months ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 5 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 2 years ago
• 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
• icse20 / RT-CI
  ☆11Updated 3 years ago
• WM-SEMERU / dl4se
  A Systematic Literature Review of Deep Learning in Software Engineering
  ☆19Updated 5 months ago
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆34Updated 6 months ago
• JetBrains-Research / embeddings-for-trees
  Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.
  ☆22Updated 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 this week
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago
• 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
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆15Updated 2 weeks ago