The Ultimate program analysis framework.

A solution to gracefully handle GCE VM terminations in kubernetes clusters

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

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

Provides primitives to perform ordered GRAceful TERmination for Golang applications

SubML (prototype) language

AWS Alerts is a monitoring and alerting solution for AWS cloud to monitor resources for 30+ AWS services and send alerts related to failures, errors, warnings and terminations on Slack.

Gracefully terminates a spot instance in a swarm cluster

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.

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

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

Exit Python programs gracefully

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".