Alternatives and similar repositories for pykythe:

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

• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 2 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆31Updated 8 months ago
• sourcegraph / codesearch.ai
  codesearch.ai semantic code search engine
  ☆37Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated 3 weeks ago
• TreeTide / underhood
  UnderHood is a code browsing interface backed by Kythe indices.
  ☆87Updated 9 months ago
• gitbugactions / gitbugactions
  ⚙️ A tool to collect executable code datasets with GitHub Actions ⚙️
  ☆21Updated this week
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 2 months ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆59Updated 2 years ago
• danielhfrank / databazel
  Bazel build rules for machine learning workflows
  ☆29Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• google-research / raksha
  ☆35Updated this week
• LLNL / AutoCog
  Automaton & Cognition
  ☆16Updated 10 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• plasma-umass / coverup
  Automatic AI-powered test suite generator
  ☆51Updated last week
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆30Updated last year
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• vmware-archive / rules_oss_audit
  The complexities of identifying and tracking open-source software (OSS) to comply with license requirements adds friction to the developm…
  ☆30Updated last year
• harp-lab / gdlog
  ☆79Updated 3 months ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆45Updated 10 months ago
• caterinaurban / Typpete
  ☆36Updated 5 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• WojciechMula / pyDAWG
  Python module (C extension and plain python) implementing DAWG
  ☆20Updated 3 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated 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 2 years ago
• wala / ML
  ☆26Updated 2 weeks ago