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
• 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 5 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 7 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• rohanmukh / nsg
  ☆20Updated 2 years ago
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free and weakly context-sensitive languages.
  ☆22Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• 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
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated last year
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 5 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• gitbugactions / gitbugactions
  ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️
  ☆21Updated this week
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• google / drjax
  ☆11Updated this week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• srush / drop7
  ☆18Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• jordiae / neural-compilers
  ☆18Updated 2 years ago
• Zyphra / zcookbook
  Training hybrid models for dummies.
  ☆20Updated 3 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 10 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆12Updated 3 months ago
• ellisk42 / LambdaBeam
  ☆12Updated last year
• gipplab / FormulaCloudData
  Discovering Mathematical Objects of Interest - A Study of Mathematical Notations
  ☆10Updated 5 years ago
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 2 years ago