会员服务
GitHub.com 使用 Git 作为版本控制系统（version control system）提供在线源码托管的服务，同时是个有社交功能的开发者社区。 国外类似服务： Bitbucket.com
Gitlab.com
国内类似服务：
Coding.net
BMC4TimeSec: Verification Of Timed Security Protocols
BMC4TimeSec: Verification Of Timed Security Protocols
Arxiv
0+阅读 · 2月19日
huff: A Python package for Market Area Analysis
Arxiv
0+阅读 · 2月19日
Multi-Ecosystem Modeling of OSS Project Sustainability
Arxiv
0+阅读 · 2月19日
Hybrid-Gym: Training Coding Agents to Generalize Across Tasks
Arxiv
0+阅读 · 2月18日
Unveiling the Role of ChatGPT in Software Development: Insights from Developer-ChatGPT Interactions on GitHub
Arxiv
0+阅读 · 2月18日
MC-LLaVA: Multi-Concept Personalized Vision-Language Model
Arxiv
0+阅读 · 2月18日
An Empirical Study of the Evolution of GitHub Actions Workflows
Arxiv
0+阅读 · 2月17日
MARS-Sep: Multimodal-Aligned Reinforced Sound Separation
Arxiv
0+阅读 · 2月17日
IssueGuard: Real-Time Secret Leak Prevention Tool for GitHub Issue Reports
Arxiv
0+阅读 · 2月8日
Light4D: Training-Free Extreme Viewpoint 4D Video Relighting
Arxiv
0+阅读 · 2月12日
ACE-Step 1.5: Pushing the Boundaries of Open-Source Music Generation
Arxiv
0+阅读 · 2月6日
Code2Worlds: Empowering Coding LLMs for 4D World Generation
Arxiv
0+阅读 · 2月12日
Transforming Policy-Car Swerving for Mitigating Stop-and-Go Traffic Waves: A Practice-Oriented Jam-Absorption Driving Strategy
Arxiv
0+阅读 · 2月12日
Transforming Policy-Car Swerving for Mitigating Stop-and-Go Traffic Waves: A Practice-Oriented Jam-Absorption Driving Strategy
Arxiv
0+阅读 · 2月10日
An Empirical Study of the Evolution of GitHub Actions Workflows
Arxiv
0+阅读 · 2月16日
参考链接
微信扫码咨询专知VIP会员
Top