🍭 #代码可视化 #静态页面生成


🏵 rendergit - 仓库一页展示源码

🍥 简介：
rendergit 是一款用于将任意 Git 仓库内容快速渲染为单一静态 HTML 页的实用工具。用户只需提供仓库地址，即可一键生成带语法高亮、Markdown 渲染和侧边栏导航的完整源码页，大大方便代码审核、查阅和全文检索。支持人类友好视图与 LLM（大模型）视图切换，适合开发者整理、分享和分析代码。自动过滤二进制与大文件，界面简单清晰，兼容移动端，极大提升代码浏览和分析效率。

🎈 【进入项目】


🗣 羊毛撸货线报 | 合作/投稿

🍭 #静态类型检查 #Python工具


🏵 Pytype - Python静态类型分析

🍥 简介：
Pytype 是一款针对 Python 代码的静态类型分析工具，主要用于在编译阶段检测类型错误和推断类型信息。它支持自动类型推断和类型注解检查，帮助开发者提前发现潜在的类型问题，提高代码的健壮性和可维护性。Pytype 最初服务于 Google 内部需求，具备强大的类型推断引擎，并与类型注解生态（如 typeshed）深度集成。当前支持 Python 3.12 及以下版本，适合需要类型安全和大型项目的 Python 开发者使用。

🎈 【进入项目】


🗣 羊毛撸货线报 | 合作/投稿

🍭 #静态分析 #文件安全


🏵 Pure - ZIP文件格式检测

🍥 简介：
Pure 是一款专为ZIP文件设计的静态分析格式检测工具，能够自动检查压缩包中的高危压缩比、协议偏差、恶意归档签名、头信息不一致、路径穿越、无效日期、重叠头部等150多类异常。它有效防御目录遍历、符号链接漏洞、解压炸弹和缓冲区溢出等攻击，极大降低被零日漏洞或恶意文件利用的风险。Pure 支持命令行及C语言接口，适合开发者集成到各类安全检测和自动化审计场景，提升文件解析和归档处理的安全性与可靠性。

🎈 【进入项目】


🗣 羊毛撸货线报 | 合作/投稿

🗣 每日羊毛线报 👈


🏵 SPy - 静态可编译Python子集

🍥 简介：
SPy 是专为静态编译优化设计的 Python 子集语言，兼容大部分常用动态特性，同时支持解释执行与编译加速。开发者可通过内置解释器获得类似原生 Python 的开发体验，也可将代码编译为原生可执行程序或 WASM，提升执行效率。SPy 提供完整的编译流程，从源码到AST、符号表、重定向AST、C代码直至最终可执行文件，支持分阶段调试与结果输出，适用于对性能与静态分析有更高要求的Python开发者。

🍭 #Python变体 #静态编译


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿