ssabook
klara
ssabook | klara | |
---|---|---|
3 | 6 | |
107 | 257 | |
- | - | |
0.0 | 0.0 | |
almost 4 years ago | about 2 years ago | |
TeX | Python | |
- | 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.
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.
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
What are some alternatives?
Chronos - Chronos - A static race detector for the go language
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
cpplinks - A categorized list of C++ resources.
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.
SABRE.js - Substation Alpha suBtitles REnderer -- A Gpu Accelerated Javascript Advanced SubStation Alpha Subtitles Renderer.
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Penguin-Subtitle-Player - An open-source, cross-platform standalone subtitle player
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
ghb-thesis - Source code of my doctoral dissertation
astroid - A common base representation of python source code for pylint and other projects
asteval - minimalistic evaluator of python expression using ast module
pytype - A static type analyzer for Python code