Alternatives and similar repositories for python-control-flow-graph

Users that are interested in python-control-flow-graph are comparing it to the libraries listed below

• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆61Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆30Updated last year
• DeepTyper / DeepTyper
  ☆49Updated 5 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆247Updated 2 months ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆331Updated 7 years ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆202Updated 2 years ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 2 years ago
• caterinaurban / Lyra
  ☆30Updated 11 months ago
• saltudelft / many-types-4-py-dataset
  ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
  ☆23Updated 3 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated last year
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆39Updated 6 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 3 years ago
• dazcona / user2code2vec
  🤓 user2code2vec: Embeddings for Profiling Students Based on Distributional Representations of Source Code. Full Paper presented at Learn…
  ☆22Updated 6 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆255Updated last year
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆213Updated 7 months ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆105Updated 6 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 6 months ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆118Updated 2 years ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated 2 years ago
• ivan111 / vpyast
  Python AST Visualizer
  ☆1Updated 6 years ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆49Updated 2 years ago
• suminb / winnowing
  A Python implementation of the Winnowing (local algorithms for document fingerprinting)
  ☆53Updated 5 years ago
• liulhdarks / code2vec
  code2vec: Learning Distributed Representations of Code
  ☆14Updated 7 years ago
• bdqnghi / hierarchical-programming-language-mapping
  [ICSE'18] Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code
  ☆22Updated 7 years ago