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
  ☆108Updated last year
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆52Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆99Updated last month
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆189Updated last week
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆28Updated last year
• jeanralphaviles / comment_parser
  Python module to extract comments from source code files of various types.
  ☆102Updated 5 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆51Updated 2 weeks ago
• gyermolenko / awesome-python-ast
  Python tools, libraries and resources about AST (as in Abstract Syntax Trees)
  ☆101Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 3 weeks ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆257Updated last week
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆69Updated 6 months ago
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆86Updated last year
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• airportyh / time-traveling-debugger
  A attempt to implement a viable record/replay debugger.
  ☆82Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆48Updated 4 months ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆15Updated 2 years ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆87Updated 3 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆61Updated 2 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆138Updated last year
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆320Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated 6 months ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago