robotane/BCTerm

A formal Java bytecode interpreter that models the JVM execution environment with precise tracking of states during bytecode execution. Designed for program verification, bytecode semantics analysis, and termination proof validation.

Language: Java - Size: 160 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 872 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 219 - Forks: 45

droidsolutions/http-terminator Fork of gajus/http-terminator

Gracefully terminates HTTP(S) server.

Language: TypeScript - Size: 8.1 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 5 - Forks: 1

groupoid/henk

🧊 Чиста система з всесвітами

Language: Erlang - Size: 10.7 MB - Last synced at: about 23 hours ago - Pushed at: 26 days ago - Stars: 147 - Forks: 16

iiithf/distributed-systems

A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.

Size: 3.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

skovtunenko/graterm

Provides primitives to perform ordered GRAceful TERmination for Golang applications

Language: Go - Size: 103 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 27 - Forks: 2

jeremyephron/pyterminate

Exit Python programs gracefully

Language: Python - Size: 29.3 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

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.

Language: HCL - Size: 84 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 11 - Forks: 7

GoogleCloudPlatform/k8s-node-termination-handler 📦

A solution to gracefully handle GCE VM terminations in kubernetes clusters

Language: Go - Size: 4.12 MB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 193 - Forks: 54

teimichael/TRSAnalyzer

A comprehensive analyzer for term rewriting systems.

Language: Haskell - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

tlaplus-workshops/ewd998

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

Language: TLA - Size: 1.95 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 47

caterinaurban/function

Language: OCaml - Size: 6.72 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 5

FWisniewski44/CabTerm

Repository for a paper on cabinet stability of minority governments (current project for my university).

Language: R - Size: 922 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dgzlopes/termination-handler

Handle termination notices on spot/preemptible instances.

Language: Python - Size: 44.9 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 2

LennardKittner/thistermination

A library crate to add the Termination trait to error enums inspired by thiserror

Language: Rust - Size: 56.6 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

SpaceCafe/terminator

Language: Go - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

epfl-lara/SystemFR

System FR: Formalized Foundations for Stainless

Language: Coq - Size: 2.23 MB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 3

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.

Language: C - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

TheLazyTomcat/AppKiller

Small program designed to ease termination of unresponsive processes in Windows OS.

Language: Pascal - Size: 6.42 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 3

letonchanh/dynamite

A dynamic analyzer for proving program termination and non-termination.

Language: Roff - Size: 44.4 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 4

rlepigre/subml

SubML (prototype) language

Language: OCaml - Size: 15.5 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 23 - Forks: 2

WiserSolutions/swarm-aws-spot-terminator

Gracefully terminates a spot instance in a swarm cluster

Language: Shell - Size: 1000 Bytes - Last synced at: 19 days ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 6

brendtumi/ec2-spot-notification

AWS EC2 Spot Instance Termination Notices for NodeJs

Language: JavaScript - Size: 53.7 KB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 2

HxnDev/TCP-Connection-Terminates-on-Goodbye

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

Language: C - Size: 65.4 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

rocq-community/almost-full

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

Language: Coq - Size: 1.47 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

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.

Language: Shell - Size: 1.3 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

jfklorenz/Letter-Template

LaTeX template for official letters or terminations.

Language: TeX - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

colebrumley/tlspxy

A small TLS termination proxy

Language: Go - Size: 81.1 KB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

hulloitskai/guillotine

Terminating systems with multiple components, in style.

Language: Go - Size: 56.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ultimate-pa/ultimate-benchmarks

Language: C - Size: 61.6 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0