py-refinement-lambda

vdimir

Pyrefine – python code checker based on Hoare logic

ast

View on GitHub

11 Stars

0 Forks

11 Watchers

Python Language

84 SrcLog Score

Cost to Build

$4.4K

Market Value

$3.3K

How is this calculated?

Growth over time

8 data points · 2021-08-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about py-refinement-lambda

Question copied to clipboard

What is the vdimir/py-refinement-lambda GitHub project? Description: "Pyrefine – python code checker based on Hoare logic". Written in Python. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone py-refinement-lambda

Clone via HTTPS

git clone https://github.com/vdimir/py-refinement-lambda.git

Clone via SSH

[email protected]:vdimir/py-refinement-lambda.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the py-refinement-lambda issue tracker:

Open GitHub Issues

Similar to py-refinement-lambda

babel prettier postcss PHP-Parser esprima js-code-to-svg-flowchart react-monocle esdoc compodoc estree escodegen astexplorer remark retext babylon JSqlParser gitbase participle birdseye tiny-compiler tolerant-php-parser spoon proposal-binary-ast estraverse unified php-parser infection csstree qone cppast