Ecosyste.ms sponsors
An open API service aggregating public data about GitHub Sponsors.
ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
- Name: Ying Sheng
- Kind: user
- Followers: 1106
- Following: 104
- Repositories count: 17
- Created at: 2023-02-20T18:23:55.915Z
- Updated at: 2025-01-22T16:41:23.114Z
- Last synced at: 2025-01-22T16:41:23.114Z
Active Sponsorships
View All
merrymercy
Sponsorship Breakdown by Kind
- User: 1