搜索结果:git(13 个)
按分类缩小范围
emoji-cheat-sheet
综合 63
Markdown 版本的 Emoji 速查表。
stainless
综合 63
〔中文简介暂未生成〕 Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
qlib
综合 63
面向 AI 量化投资的开源平台,覆盖从策略探索到实盘落地全流程。
Github-Ranking
综合 59
每日自动更新的 GitHub 仓库 Star 和 Fork 榜单及各语言 Top100 排名。
logseq
综合 58
注重隐私优先的开源双链笔记、知识管理与协作平台。
logisim-evolution
综合 56
数字逻辑设计与电路仿真工具。
精选优质教程合集,带你从零手写 Git、Docker、数据库等常用技术,通过动手造轮子吃透底层原理、进阶编程水平。
eff
综合 54
〔中文简介暂未生成〕 Eff monad for cats - https://atnos-org.github.io/eff
openproject
综合 54
开源项目管理软件,支持敏捷规划、问题追踪、产品路线图与甘特图,可作为 Jira 的替代方案。
涵盖 Linux、Docker、Kubernetes 等多项技术的 DevOps 面试题与练习题合集。
提供免费域名注册与实用 DNS 学习资源的平台,支持自定义 nameservers,帮助开发者零成本获得域名并学习上线部署。
learnGitBranching
综合 50
交互式 Git 可视化与教程平台,通过动手练习帮助开发者直观掌握 Git 操作。
hw
综合 49
〔中文简介暂未生成〕 Official Hedgewars mirror for GitHub!