Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aphyr/distsys-class issues and pull requests
#17 - added console
Pull Request -
State: closed - Opened by Slayx143 about 2 years ago
#16 - lab_1: echo server
Pull Request -
State: closed - Opened by vijaysbhat almost 3 years ago
#15 - Are there other distributed algorithms?
Issue -
State: open - Opened by leikang123 over 3 years ago
#14 - latex compatibility fixes
Pull Request -
State: open - Opened by sitano over 5 years ago
#13 - Is it ok to use this material to structure a course with due credits?
Issue -
State: closed - Opened by abailly over 5 years ago
- 4 comments
#12 - Atomic clocks are available via AWS
Pull Request -
State: open - Opened by mattheworiordan over 5 years ago
#11 - Include Cloud Spanner, since Google is sharing now
Pull Request -
State: open - Opened by FrankPetrilli over 5 years ago
#10 - fixed Helpful
Pull Request -
State: open - Opened by 0xflotus over 5 years ago
- 1 comment
#9 - Generated a pretty PDF version of the Markdown document, based on the last commit (06f63fc7).
Pull Request -
State: open - Opened by jonathanmarvens about 7 years ago
- 4 comments
#8 - Add register operation semantics for sequential consistency and linearizability
Issue -
State: closed - Opened by tmasternak almost 8 years ago
- 1 comment
#7 - Part-Time Parliament wasn't published in 1970
Issue -
State: closed - Opened by lorin about 8 years ago
- 1 comment
#6 - Add example of distributed systems in modern CPUs
Pull Request -
State: closed - Opened by toffaletti about 8 years ago
- 1 comment
#5 - minor spelling edits, dupe word
Pull Request -
State: closed - Opened by judwhite about 8 years ago
- 2 comments
#4 - What's the deal with GPS?
Issue -
State: closed - Opened by ghost about 8 years ago
- 1 comment
#3 - I believe Jeff Hodges spoke at RICON West in 2013
Pull Request -
State: closed - Opened by julianpistorius over 8 years ago
- 1 comment
#2 - Nework Typo
Pull Request -
State: closed - Opened by apsey over 8 years ago
#1 - Raft was verified in Coq, not TLA+
Pull Request -
State: closed - Opened by daniel-ziegler over 8 years ago
- 1 comment