-
Updated
Sep 13, 2017 - C
termination
Here are 30 public repositories matching this topic...
Gracefully terminates a spot instance in a swarm cluster
-
Updated
Dec 8, 2018 - Shell
Terminating systems with multiple components, in style.
-
Updated
Jan 10, 2020 - Go
Handle termination notices on spot/preemptible instances.
-
Updated
Jul 20, 2020 - Python
LaTeX template for official letters or terminations.
-
Updated
Nov 1, 2020 - TeX
Repository for a paper on cabinet stability of minority governments (current project for my university).
-
Updated
Apr 11, 2021 - R
A dynamic analyzer for proving program termination and non-termination.
-
Updated
May 17, 2021 - Roff
TCP Connection between two clients that terminates the connection upon the word "Goodbye".
-
Updated
Jul 8, 2021 - C
System FR: Formalized Foundations for Stainless
-
Updated
Oct 25, 2021 - Coq
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.
-
Updated
Nov 24, 2021 - Shell
A solution to gracefully handle GCE VM terminations in kubernetes clusters
-
Updated
Jan 7, 2022 - Go
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.
-
Updated
Feb 25, 2022 - C
SubML (prototype) language
-
Updated
Mar 20, 2022 - OCaml
cTI: a constraint-based Termination Inference tool for Prolog
-
Updated
May 27, 2022 - Prolog
AWS EC2 Spot Instance Termination Notices for NodeJs
-
Updated
Jul 27, 2022 - JavaScript
Provides primitives to perform ordered GRAceful TERmination for Golang applications
-
Updated
Nov 8, 2022 - Go
Small program designed to ease termination of unresponsive processes in Windows OS.
-
Updated
Feb 12, 2023 - Pascal
A comprehensive analyzer for term rewriting systems.
-
Updated
Mar 30, 2023 - Haskell
Improve this page
Add a description, image, and links to the termination topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the termination topic, visit your repo's landing page and select "manage topics."