会员服务
Git 是一个为了更好地管理 Linux 内核开发而创立的分布式版本控制和软件配置管理软件。 国内外知名 Git 代码托管网站有： GitHub.com Coding.net code.csdn.net ...
OxyMake: A Formally-Specified, Content-Addressable Workflow Engine
Arxiv
0+阅读 · 6月18日
Pushed by Accident: A Mixed-Methods Study on Strategies of Handling Secret Information in Source Code Repositories
Arxiv
0+阅读 · 6月19日
GitOfThoughts: Version-Controlled Reasoning and Agent Memory You Can Replay, Diff, and Merge
GitOfThoughts: Version-Controlled Reasoning and Agent Memory You Can Replay, Diff, and Merge
Arxiv
0+阅读 · 6月22日
GitOfThoughts: Version-Controlled Reasoning and Agent Memory You Can Replay, Diff, and Merge
Arxiv
0+阅读 · 6月12日
ProDebug: An Automated Debugging System for Prolog
Arxiv
0+阅读 · 5月26日
Mapping NVD Records to Their Vulnerability-fixing Commits: How Hard is It?
Arxiv
0+阅读 · 5月18日
Regularization Implies balancedness in the deep linear network
Arxiv
0+阅读 · 3月23日
Lore: Repurposing Git Commit Messages as a Structured Knowledge Protocol for AI Coding Agents
Arxiv
0+阅读 · 3月16日
GIT-BO: High-Dimensional Bayesian Optimization with Tabular Foundation Models
Arxiv
0+阅读 · 3月5日
Git Takes Two: Split-View Awareness for Collaborative Learning of Distributed Workflows in Git
Arxiv
0+阅读 · 2月23日
Git for Sketches: An Intelligent Tracking System for Capturing Design Evolution
Arxiv
0+阅读 · 2月6日
GitEvo: Code Evolution Analysis for Git Repositories
Arxiv
0+阅读 · 1月31日
NP-Completeness Proofs of Puzzles using the T-Metacell Framework
Arxiv
0+阅读 · 1月14日
ICLF: An Immersive Code Learning Framework based on Git for Teaching and Evaluating Student Programming Projects
Arxiv
0+阅读 · 1月21日
Categorical Foundations for CuTe Layouts
Arxiv
0+阅读 · 1月9日
参考链接
微信扫码咨询专知VIP会员
Top