termination
There are 30 repositories under termination topic.
ultimate-pa/ultimate
The Ultimate program analysis framework.
GoogleCloudPlatform/k8s-node-termination-handler
A solution to gracefully handle GCE VM terminations in kubernetes clusters
groupoid/henk
🧊 Чиста система з всесвітами
tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
skovtunenko/graterm
Provides primitives to perform ordered GRAceful TERmination for Golang applications
rlepigre/subml
SubML (prototype) language
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.
WiserSolutions/swarm-aws-spot-terminator
Gracefully terminates a spot instance in a swarm cluster
dgzlopes/termination-handler
Handle termination notices on spot/preemptible instances.
epfl-lara/SystemFR
System FR: Formalized Foundations for Stainless
brendtumi/ec2-spot-notification
AWS EC2 Spot Instance Termination Notices for NodeJs
droidsolutions/http-terminator
Gracefully terminates HTTP(S) server.
jeremyephron/pyterminate
Exit Python programs gracefully
letonchanh/dynamite
A dynamic analyzer for proving program termination and non-termination.
TheLazyTomcat/AppKiller
Small program designed to ease termination of unresponsive processes in Windows OS.
colebrumley/tlspxy
A small TLS termination proxy
coq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
HxnDev/TCP-Connection-Terminates-on-Goodbye
TCP Connection between two clients that terminates the connection upon the word "Goodbye".
FredMesnard/cTI
cTI: a constraint-based Termination Inference tool for Prolog
iiithf/distributed-systems
A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.
K-Konstantinidis/BST-Ceiling-Floor
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.
LennardKittner/thistermination
A library crate to add the Termination trait to error enums inspired by thiserror
zu0t/TermedBio
TermedBio is a opensource bio that shows if you got termed or not. Just download all files, customize and host it on github or anywhere else.
FWisniewski44/CabTerm
Repository for a paper on cabinet stability of minority governments (current project for my university).
hulloitskai/guillotine
Terminating systems with multiple components, in style.
LedgerProject/safepkt
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.
teimichael/TRSAnalyzer
A comprehensive analyzer for term rewriting systems.