matematico-tao - 对代码与架构进行严格的数学分析数学代码分析算法形式化方法★ 0 · 更新于 2026-10-19运用复杂度理论、图论、形式逻辑、概率论等数学方法分析代码与架构。⚙ 进行数学化代码分析⚙ 构建依赖关系图⚙ 验证形式化正确性
matematico-tao - 以数学方法严谨分析代码与架构数学代码分析算法形式化方法★ 0 · 更新于 2026-10-19运用复杂度理论、图论、形式逻辑、概率论等数学方法分析代码与软件架构。⚙ 分析算法复杂度⚙ 构建软件依赖图⚙ 检查并发属性
python-doctor - Python 代码审计与健康检查python代码审计安全性能★ 62 · 更新于 2026-05-28审计 Python 代码库的安全性、性能、正确性和架构问题，包含运行时检查和静态分析⚙ 扫描 Python 代码库⚙ 检查语法⚙ 运行 pytest 测试
