Static code analysis
Static type checker for Python
Lightweight process orchestration framework for regional payment
Open-source MCP server that gives your coding agent
An interactive GUI for WhiteboxTools in a Jupyter-based environment
Web interface for browsing, search and filtering arxiv submissions
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