https://github.com/ultimate-pa/ultimate

The Ultimate program analysis framework.

automata ltl model-checking program-analysis reachability software-analysis termination

Last synced: 16 Jan 2026

https://github.com/googlecloudplatform/k8s-node-termination-handler

A solution to gracefully handle GCE VM terminations in kubernetes clusters

gce gke kubernetes node termination

Last synced: 03 Oct 2025

https://github.com/GoogleCloudPlatform/k8s-node-termination-handler

A solution to gracefully handle GCE VM terminations in kubernetes clusters

gce gke kubernetes node termination

Last synced: 02 Apr 2025

https://github.com/groupoid/henk

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

erlang lambda-cube pts pure termination

Last synced: 24 Jun 2025

https://github.com/skovtunenko/graterm

Provides primitives to perform ordered GRAceful TERmination for Golang applications

graceful-degradation graceful-restart-process graceful-shutdown graceful-stop gracefull gracefully shutdown shutdown-helper shutdown-hook shutdown-manager shutdown-service termination

Last synced: 12 Jan 2026

https://github.com/rlepigre/subml

SubML (prototype) language

polymorphism prototype-language subtyping termination

Last synced: 09 Jul 2025

https://github.com/wisersolutions/swarm-aws-spot-terminator

Gracefully terminates a spot instance in a swarm cluster

aws ec2 graceful-shutdown spot spot-instances swarm swarm-mode termination

Last synced: 15 Jun 2025

https://github.com/abdullahkhawer/aws-alerts

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.

amazon-web-services automation aws aws-cloudformation aws-cloudwatch aws-lambda aws-sns-topic devops error error-notification failure failure-detection failure-notification monitoring notification python slack termination terraform warning

Last synced: 21 Mar 2025

https://github.com/dgzlopes/termination-handler

Handle termination notices on spot/preemptible instances.

aws devops docker gcp kubernetes nomad preemptible python spot spot-instances termination

Last synced: 23 Mar 2025

https://github.com/brendtumi/ec2-spot-notification

AWS EC2 Spot Instance Termination Notices for NodeJs

aws ec2-instance notification spot-instances spot-instances-termination termination

Last synced: 17 Jan 2026

https://github.com/jeremyephron/pyterminate

Exit Python programs gracefully

cleanup error-handling pypi-package python python3 termination utility

Last synced: 16 Jan 2026

https://github.com/thelazytomcat/appkiller

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

delphi fpc lazarus object-pascal pascal process process-management termination utility windows

Last synced: 02 May 2025

https://github.com/coq-community/almost-full

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

coq docker-coq-action nix-action paper-artifacts ramsey termination

Last synced: 17 Mar 2025

https://github.com/colebrumley/tlspxy

A small TLS termination proxy

letsencrypt proxy termination tls

Last synced: 01 Nov 2025

https://github.com/hxndev/tcp-connection-terminates-on-goodbye

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

c code connection goodbye tcp tcp-client tcp-server termination

Last synced: 31 Mar 2025

https://github.com/spacecafe/terminator

go golang termination

Last synced: 03 Feb 2026

https://github.com/robotane/bcterm

BCTerm is a formal Java bytecode interpreter that models the JVM execution environment with precise tracking of states during bytecode execution. Designed for program verification, bytecode semantics analysis, and termination proof validation.

bytecode bytecode-interpreter bytecode-manipulation jvm termination verification

Last synced: 12 Oct 2025

https://github.com/robotane/rati

Ranking-based termination inference for integer transition systems in the KoAT/KITTeL format.

formal-methods integer-transition-systems koat program-analysis ranking-functions static-analysis termination

Last synced: 12 Jun 2026