| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
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
System FR: Formalized Foundations for Stainless
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.
Handle termination notices on spot/preemptible instances.
AWS EC2 Spot Instance Termination Notices for NodeJs
Exit Python programs gracefully
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.
cTI: a constraint-based Termination Inference tool for Prolog
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".
Add a description, image, and links to the termination topic page so that developers can more easily learn about it.
To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."
| Back | FazBrowse Home | New Git URL |