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

epfl-lara / SystemFR

Star

System FR: Formalized Foundations for Stainless

scala coq verification formal-methods termination stainless

Updated Oct 25, 2021
Coq

caterinaurban / function

Star

c static-analysis ocaml termination abstract-interpretation liveness

Updated Aug 21, 2018
HTML

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

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

tlaplus-workshops / ewd998

Star

Distributed termination detection on a ring, due to Shmuel Safra:

detection theorem-proving refinement safety model-checking termination specs liveness tlaplus distsys

Updated Feb 14, 2022
TLA

droidsolutions / http-terminator

Star

Gracefully terminates HTTP(S) server.

nodejs npm node npm-package http-server termination

Updated Apr 5, 2022
TypeScript

colebrumley / tlspxy

Star

A small TLS termination proxy

letsencrypt tls proxy termination

Updated Jan 13, 2020
Go

HxnDev / TCP-Connection-Terminates-on-Goodbye

Star

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

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

Updated Jul 8, 2021
C

coq-community / almost-full

Star

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

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

Updated Jan 12, 2022
Coq

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

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

K-Konstantinidis / BST-Ceiling-Floor

Star

This is a c project in which the user enters an amount of numbers (>2) and then these numbers get inserted in a Binary Search Tree (BST). After all the insertions, the user enters a number and the program displays in the console the ceiling and the floor of that number.

c search data node project numbers binary-search-tree floor termination nodes bst pointers exe ceiling negative-numbers

Updated Feb 25, 2022
C

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

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

LedgerProject / safepkt

Star

Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.