klara
astroid
Our great sponsors
klara | astroid | |
---|---|---|
6 | 2 | |
257 | 510 | |
- | 0.8% | |
0.0 | 9.1 | |
about 2 years ago | about 17 hours ago | |
Python | Python | |
GNU General Public License v3.0 or later | GNU Lesser General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
klara
-
Klara: Python automatic test generations and static analysis library
Klara is an automatic python unit test generation tool based on SMT (z3) solver. It's currently in early stage and still have many limitation (looping, comprehension, importing is not supported to name a few).
- Klara - python automatic test generations and static analysis library
- Klara – Python automatic test generations and static analysis library
- Show HN: Klara – Python automatic test generations and static analysis library
astroid
-
astroid VS parso - a user suggested alternative
2 projects | 9 Oct 2022
-
Klara: Python automatic test generations and static analysis library
It also provide inference for static analysis purposes, similar to astroid, with SMT support. E.g.
What are some alternatives?
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
vermin - Concurrently detect the minimum Python versions needed to run code
Valheim-Server-Web-GUI - This is a web GUI that can live on top of a Valheim server, giving you a web interface for controlling some of the basic functions of managing a server. This is database-less, no SQL required. Can publicly show mods, lets you edit your CFG files via a web interface, can show your world seed ID (publicly or not), can start/stop/restart valheimserver.service and can download your .db and .fwl files.
ModiScript - Acche din aa gaye
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
experta - Expert Systems for Python
ssabook - Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
parso - Parso is a Python parser that supports error recovery and round-trip parsing for different Python versions (in multiple Python versions).
asteval - minimalistic evaluator of python expression using ast module
TatSu - 竜 TatSu generates Python parsers from grammars in a variation of EBNF