Gracefully terminates HTTP(S) server.
-
Updated
May 30, 2024 - TypeScript
Gracefully terminates HTTP(S) server.
The Ultimate program analysis framework.
AWS Failure Error Warning Termination Notification Framework is a framework for AWS cloud to notify for failures, errors, warnings and terminations for various AWS services and can be deployed using Terraform and AWS CloudFormation.
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
A library crate to add the Termination trait to error enums inspired by thiserror
Distributed termination detection on a ring, due to Shmuel Safra:
Exit Python programs gracefully
A comprehensive analyzer for term rewriting systems.
Small program designed to ease termination of unresponsive processes in Windows OS.
Provides primitives to perform ordered GRAceful TERmination for Golang applications
AWS EC2 Spot Instance Termination Notices for NodeJs
cTI: a constraint-based Termination Inference tool for Prolog
SubML (prototype) language
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.
A solution to gracefully handle GCE VM terminations in kubernetes clusters
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.
Add a description, image, and links to the termination topic page so that developers can more easily learn about it.
To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."