Show HN: Gitstock–Transform you GitHub commit history into K-line and animationsa month agohttps://gitstock.org/GitStock将GitHub的提交记录转换成类似市场K线图的SVG图表。用户可以输入一个公开仓库来可视化近期提交记录和代码变动情况。该工具通过可分享的格式，帮助用户快速评估仓库的活动情况和健康趋势。
Triple Dragon Fractal (2020)21 days agohttps://paulbourke.net/fractals/tripledragon/三重龙分形以实-虚平面上的初始值为基础，可视化展示了一个级数的行为。由保罗·布尔克于2020年12月创建。颜色表示收敛到固定点的速度，而不是发散到无穷的速度。复平面有界区域中的点在图表中显示。
The Proof Machine (2016)3 hours agohttps://incredible.pm/「不可思议的证明机」是一款可视化工具，通过拖拽连接积木块完成命题逻辑、谓词逻辑等逻辑系统的证明。用户添加代表证明步骤的积木块；若结论变为绿色，则表示已构建完整证明。该工具旨在传递计算机辅助证明的乐趣，无需预先了解Isabelle等定理证明器的语法知识。公式输入仅限特定积木块（如¬-块），需使用缩写：&代表∧，|代表∨，->代表→，^代表↑，~代表¬，!代表∀，?代表∃，False代表⊥。当前证明仅保存在浏览器本地存储中，可能丢失；未来计划支持服务器端保存。该工具为自由软件，欢迎贡献；学术细节请参阅相关出版物。