Static code analysis
Static type checker for Python
Open-source MCP server that gives your coding agent
An interactive GUI for WhiteboxTools in a Jupyter-based environment
BeaEngine disasm project
RTTI for Python Source and Binary Files
An experimental programming language for data flow
Static Analysis Tool for Detecting Security Vulnerabilities in Python