termination

AWS Failure Error Warning Termination Notification Framework is an AWS based failure, error, warning and termination notification solution for various services under one AWS CloudFormation stack using multiple AWS services.

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

Updated Jul 9, 2021
Python

WiserSolutions / swarm-aws-spot-terminator

Star

Gracefully terminates a spot instance in a swarm cluster

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

Updated Dec 8, 2018
Shell

caterinaurban / function

Star

c static-analysis ocaml termination abstract-interpretation liveness

Updated Aug 21, 2018
HTML

epfl-lara / SystemFR

Star

System FR: Formalized Foundations for Stainless

scala coq verification formal-methods termination stainless

Updated Jan 6, 2021
Coq

brendtumi / ec2-spot-notification

Star

AWS EC2 Spot Instance Termination Notices for NodeJs

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

Updated May 30, 2017
JavaScript

dgzlopes / termination-handler

Star

Handle termination notices on spot/preemptible instances.

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

Updated Jul 20, 2020
Python

colebrumley / tlspxy

Star

A small TLS termination proxy

letsencrypt tls proxy termination

Updated Jan 13, 2020
Go

ultimate-pa / ultimate-benchmarks

Star

benchmarking benchmark automata ltl reachability model-checking software-analysis program-analysis termination ultimate benchmark-suite

Updated Sep 13, 2017
C

droidsolutions / http-terminator

Star

Gracefully terminates HTTP(S) server.

nodejs npm node npm-package http-server termination

Updated Jul 26, 2021
TypeScript

letonchanh / dynamite

Star

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

dynamic-analysis program-analysis termination non-termination

Updated May 17, 2021
Roff

coq-community / almost-full

Star

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

coq termination ramsey

Updated Nov 23, 2020
Coq

FWisniewski44 / CabTerm

Star

Repository for a paper on cabinet stability of minority governments (current project for my university).

cabinet parties termination legislatures

Updated Apr 11, 2021
R

jfklorenz / Letter-Template

Star

LaTeX template for official letters or terminations.

template tex latex contracts termination letter resignation

Updated Nov 1, 2020
TeX

TheLazyTomcat / AppKiller

Star

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

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

Updated May 8, 2019
Pascal

iiithf / distributed-systems

Star

A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.

time model detection state snapshot consensus deadlock global recording termination logical agreement mutual exclusion

Updated Dec 2, 2020

teimichael / TRSAnalyzer

Star

A comprehensive analyzer for term rewriting systems.

analyzer complexity termination trs term-rewriting

Updated Mar 30, 2021
Haskell

hulloitskai / guillotine

Star

Terminating systems with multiple components, in style.

golang control-flow termination

Updated Jan 10, 2020
Go

Improve this page

Add a description, image, and links to the termination topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."

Learn more