klara
ssabook
Our great sponsors
klara | ssabook | |
---|---|---|
6 | 3 | |
257 | 107 | |
- | - | |
0.0 | 0.0 | |
about 2 years ago | over 3 years ago | |
Python | TeX | |
GNU General Public License v3.0 or later | - |
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
ssabook
- Where can I find resources and guides on how to build compiler backends?
-
Follow-up resources to Crafting Interpreters
For more on the analysis & compiler optimization side, "SSA-based Compiler Design" (http://ssabook.gforge.inria.fr/latest/; GitHub Mirror: https://github.com/pfalcon/ssabook) is a good follow-up.
What are some alternatives?
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
Chronos - Chronos - A static race detector for the go language
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.
cpplinks - A categorized list of C++ resources.
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
SABRE.js - Substation Alpha suBtitles REnderer -- A Gpu Accelerated Javascript Advanced SubStation Alpha Subtitles Renderer.
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
Penguin-Subtitle-Player - An open-source, cross-platform standalone subtitle player
astroid - A common base representation of python source code for pylint and other projects
ghb-thesis - Source code of my doctoral dissertation
asteval - minimalistic evaluator of python expression using ast module
pytype - A static type analyzer for Python code