Alternatives and similar repositories for comby-python

Users that are interested in comby-python are comparing it to the libraries listed below

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆102Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 2 weeks ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆13Updated last week
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• matangover / mypyls
  Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.
  ☆34Updated 3 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆42Updated last year
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆91Updated this week
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆308Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated 3 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• bannsec / pySym
  Python Symbolic Execution
  ☆69Updated 5 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• dannykopping / b3
  strace to json parser
  ☆37Updated 6 years ago
• devopspp / pyliveupdate
  A runtime python code manipulation framework for profiling, debugging and bugfixing
  ☆64Updated 2 years ago
• ivan111 / vpyast
  Python AST Visualizer
  ☆1Updated 6 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated last year
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• t3rn0 / ast-comments
  Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.
  ☆41Updated last year
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆47Updated last year
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last month
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆65Updated last month
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆110Updated last week
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆70Updated 6 months ago