The Ultimate program analysis framework.
-
Updated
Aug 30, 2026 - Java
#
termination
Here are 37 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
Feb 23, 2025 - Go
SubML (prototype) language
-
Updated
Mar 20, 2022 - OCaml
-
Updated
May 31, 2024 - OCaml
System FR: Formalized Foundations for Stainless
-
Updated
Feb 2, 2026 - Rocq Prover
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
Handle termination notices on spot/preemptible instances.
-
Updated
Jul 20, 2020 - Python
AWS EC2 Spot Instance Termination Notices for NodeJs
-
Updated
Aug 8, 2025 - JavaScript
Exit Python programs gracefully
-
Updated
Jun 28, 2025 - Python
Gracefully terminates HTTP(S) server.
-
Updated
Aug 31, 2026 - TypeScript
A dynamic analyzer for proving program termination and non-termination.
-
Updated
May 17, 2021 - Roff
cTI: a constraint-based Termination Inference tool for Prolog
-
Updated
May 27, 2022 - Prolog
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
Add this topic to your repo
To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."