ChrisTimperley / comby-python

Related projects ⓘ

Alternatives and complementary repositories for comby-python

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆96Updated 9 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆82Updated last month
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆295Updated 7 months ago
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆39Updated 4 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆59Updated last year
• ivan111 / vpyast
  Python AST Visualizer
  ☆0Updated 5 years ago
• saltudelft / libsa4py
  LibSA4Py: Light-weight static analysis for extracting type hints and features
  ☆11Updated last year
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated last month
• bannsec / pySym
  Python Symbolic Execution
  ☆65Updated 5 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆61Updated last year
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆43Updated 2 months ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆324Updated 11 months ago
• jeanralphaviles / comment_parser
  Python module to extract comments from source code files of various types.
  ☆100Updated last year
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆233Updated 3 weeks ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆43Updated 7 months ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆78Updated 2 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆59Updated last month
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆108Updated 4 months ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated 3 weeks ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 6 months ago
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆73Updated 8 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆38Updated last month
• spookylukey / pyastgrep
  Grep Python Abstract Syntax Trees (AST) using XPath
  ☆92Updated last month
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago