https://github.com/hengxin/paper-bibs-and-notes
Paper Notes
https://github.com/hengxin/paper-bibs-and-notes
distributed-computing distributed-systems formal-methods paper-notes paper-reading paper-we-love programming-languages
Last synced: 8 months ago
JSON representation
Paper Notes
- Host: GitHub
- URL: https://github.com/hengxin/paper-bibs-and-notes
- Owner: hengxin
- License: mit
- Created: 2019-04-26T07:53:48.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-02-16T03:56:29.000Z (over 4 years ago)
- Last Synced: 2025-01-07T19:44:59.033Z (10 months ago)
- Topics: distributed-computing, distributed-systems, formal-methods, paper-notes, paper-reading, paper-we-love, programming-languages
- Language: TeX
- Size: 8.61 MB
- Stars: 0
- Watchers: 7
- Forks: 1
- Open Issues: 1