A solution to gracefully handle GCE VM terminations in kubernetes clusters

The Ultimate program analysis framework.

🧊 Чиста система з всесвітами

Distributed termination detection on a ring, due to Shmuel Safra:

Provides primitives to perform ordered GRAceful TERmination for Golang applications

SubML (prototype) language

Gracefully terminates a spot instance in a swarm cluster

AWS Failure Error Warning Termination Notification Framework is a framework for AWS cloud to notify for failures, errors, warnings and terminations for various AWS services and can be deployed using Terraform and AWS CloudFormation.

Handle termination notices on spot/preemptible instances.

System FR: Formalized Foundations for Stainless

AWS EC2 Spot Instance Termination Notices for NodeJs

Gracefully terminates HTTP(S) server.

Small program designed to ease termination of unresponsive processes in Windows OS.

A dynamic analyzer for proving program termination and non-termination.

A small TLS termination proxy

Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]

TCP Connection between two clients that terminates the connection upon the word "Goodbye".

Exit Python programs gracefully