The Ultimate program analysis framework.
-
Updated
Dec 30, 2024 - Java
#
termination
Here are 30 public repositories matching this topic...
A solution to gracefully handle GCE VM terminations in kubernetes clusters
-
Updated
Jan 7, 2022 - Go
Distributed termination detection on a ring, due to Shmuel Safra:
detection theorem-proving refinement safety model-checking termination specs liveness tlaplus distsys
-
Updated
Sep 2, 2024 - TLA
Provides primitives to perform ordered GRAceful TERmination for Golang applications
shutdown termination graceful-shutdown gracefully shutdown-hook graceful-restart-process shutdown-service shutdown-helper shutdown-manager graceful-stop gracefull graceful-degradation
-
Updated
Nov 8, 2022 - Go
SubML (prototype) language
-
Updated
Mar 20, 2022 - OCaml
-
Updated
May 31, 2024 - OCaml
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.
python slack aws devops automation monitoring aws-lambda terraform error notification termination warning amazon-web-services failure aws-cloudformation aws-cloudwatch failure-detection error-notification failure-notification aws-sns-topic
-
Updated
Aug 15, 2024 - HCL
Gracefully terminates a spot instance in a swarm cluster
-
Updated
Dec 8, 2018 - Shell
Handle termination notices on spot/preemptible instances.
-
Updated
Jul 20, 2020 - Python
System FR: Formalized Foundations for Stainless
-
Updated
Oct 25, 2021 - Coq
AWS EC2 Spot Instance Termination Notices for NodeJs
-
Updated
Jul 27, 2022 - JavaScript
Exit Python programs gracefully
-
Updated
Aug 21, 2023 - Python
Gracefully terminates HTTP(S) server.
-
Updated
Dec 30, 2024 - TypeScript
A dynamic analyzer for proving program termination and non-termination.
-
Updated
May 17, 2021 - Roff
Small program designed to ease termination of unresponsive processes in Windows OS.
-
Updated
Feb 12, 2023 - Pascal
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
TCP Connection between two clients that terminates the connection upon the word "Goodbye".
-
Updated
Jul 8, 2021 - C
benchmarking benchmark automata ltl reachability model-checking software-analysis program-analysis termination ultimate benchmark-suite
-
Updated
Sep 13, 2017 - C
Improve this page
Add a description, image, and links to the termination topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."