★
manim 是用 Python 编写的前端库，用于构建 Web 页面与界面。
A community-maintained Python framework for creating mathematical animations.
pschanely / CrossHair
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
CrossHair 是用 Python 编写的测试工具，用于自动化测试与验证。
目前累计 1.3k star、101 fork，主要语言为 Python，项目始于 2017 年，采用 NOASSERTION 许可。最近状态：近一个月有提交。适合：测试与质量保障人员。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。pschanely/CrossHair 是一个以 Python 为主的开源项目，目前累计 1.3k star、101 fork，近 30 天内有提交。主要方向：concolic-execution、contracts、dynamic-analysis、fuzzing、hacktoberfest、Python。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。concolic-executioncontractsdynamic-analysisfuzzinghacktoberfestPythonstatic-analysissymbolic-execution测试testing-frameworktype-systemsz3
README
正在加载…相关项目
★
black 是用 Python 编写的工程工具，用于代码分析、构建与打包。
The uncompromising Python code formatter
★
Python 的快速爬虫框架，内置请求调度、数据提取与导出，适合规模化采集。
Scrapy, a fast high-level web crawling & scraping framework for Python.
★
localstack 是用 Python 编写的测试工具，用于自动化测试与验证。
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
★
开源智能家居平台，可本地运行并接入数千种设备，自动化能力强。
:house_with_garden: Open source home automation that puts local control and privacy first.
★
sherlock 是用 Python 编写的安全工具，面向安全研究与防护。
Hunt down social media accounts by username across social networks