invariant-guard - 以不变量为先的算法正确性设计算法正确性循环不变量形式化推理边界情况★ 22 · 更新于 2026-10-02在编写或审查非平凡算法代码前，要求明确契约、不变量、终止性论证、基例和边界情况。⚙ 陈述函数契约⚙ 编写循环不变量⚙ 论证终止性
algorithm - 多语言算法与数据结构实现模板算法数据结构排序搜索★ 4 · 更新于 2026-10-02提供 Python、C++、Java、Go 和仓颉中常见算法与数据结构的惯用实现模板。⚙ 选择合适的数据结构⚙ 实现排序算法⚙ 实现搜索算法
