Lean 4编程语言和定理检验器
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
基于Symfony和Vuetify的敏捷网络开发的精简框架栈
一键多编译固件
随机计算图上的无缺陷机器学习
精益数学组件库
精益定理验证器
敏捷软件开发的资源清单很好。
了解更多关于DevOps的阅读内容
Leantime是一个针对创新者的精益项目管理系统。旨在帮助你管理你的项目，从构思到交付。