Repository for a paper on cabinet stability of minority governments (current project for my university).
-
Updated
Apr 11, 2021 - R
Repository for a paper on cabinet stability of minority governments (current project for my university).
A library crate to add the Termination trait to error enums inspired by thiserror
TCP Connection between two clients that terminates the connection upon the word "Goodbye".
cTI: a constraint-based Termination Inference tool for Prolog
LaTeX template for official letters or terminations.
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 comprehensive analyzer for term rewriting systems.
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
Terminating systems with multiple components, in style.
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.
Exit Python programs gracefully
Gracefully terminates HTTP(S) server.
SubML (prototype) language
AWS EC2 Spot Instance Termination Notices for NodeJs
Handle termination notices on spot/preemptible instances.
Provides primitives to perform ordered GRAceful TERmination for Golang applications
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."