4 results found Sort:
- Filter by Primary Language:
- Erlang (1)
- Go (1)
- Java (1)
- TLA (1)
- +
The Ultimate program analysis framework.
Created
2015-09-10
29,795 commits to dev branch, last one 6 days ago
A solution to gracefully handle GCE VM terminations in kubernetes clusters
This repository has been archived
(exclude archived)
Created
2018-05-26
34 commits to master branch, last one 3 years ago
🧊 Чиста система з всесвітами
Created
2013-07-28
54 commits to main branch, last one 6 months ago
Distributed termination detection on a ring, due to Shmuel Safra:
Created
2021-09-20
102 commits to main branch, last one 3 months ago