termination

There are 0 repository under termination topic.

• GoogleCloudPlatform / k8s-node-termination-handler

  A solution to gracefully handle GCE VM terminations in kubernetes clusters

  kubernetesgcegkenodetermination
  Language:Go 193

• ultimate-pa / ultimate

  The Ultimate program analysis framework.

  program-analysismodel-checkingltlreachabilityterminationautomatasoftware-analysis
  Language:Java 190

• groupoid / henk

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

  pureptslambda-cubeerlangtermination
  Language:Erlang 144

• tlaplus-workshops / ewd998

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

  terminationdetectiondistsystlaplusspecsmodel-checkingtheorem-provingrefinementsafetyliveness
  Language:TLA 47

• skovtunenko / graterm

  Provides primitives to perform ordered GRAceful TERmination for Golang applications

  graceful-shutdownterminationgraceful-degradationgraceful-restart-processgraceful-stopgracefullgracefullyshutdownshutdown-helpershutdown-hookshutdown-managershutdown-service
  Language:Go 26

• rlepigre / subml

  SubML (prototype) language

  polymorphismprototype-languagesubtypingtermination
  Language:OCaml 23

• 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.

  aws-cloudformationaws-sns-topicaws-lambdafailureerrorwarningterminationamazon-web-servicesawsaws-cloudwatchnotificationdevopsmonitoringautomationpythonfailure-detectionfailure-notificationerror-notificationterraformslack
  Language:HCL 11

• WiserSolutions / swarm-aws-spot-terminator

  Gracefully terminates a spot instance in a swarm cluster

  swarm-modespot-instancesawsec2terminationspotswarmgraceful-shutdown
  Language:Shell 11

• caterinaurban / function

  static-analysisabstract-interpretationterminationlivenessocamlc
  Language:OCaml 10

• dgzlopes / termination-handler

  Handle termination notices on spot/preemptible instances.

  awsgcpterminationspot-instancesspotpreemptibledevopspythondockerkubernetesnomad
  Language:Python 10

• epfl-lara / SystemFR

  System FR: Formalized Foundations for Stainless

  coqstainlessscalaverificationterminationformal-methods
  Language:Coq 9

• brendtumi / ec2-spot-notification

  AWS EC2 Spot Instance Termination Notices for NodeJs

  awsspot-instancesec2-instanceterminationspot-instances-terminationnotification
  Language:JavaScript 6

• droidsolutions / http-terminator

  Gracefully terminates HTTP(S) server.

  nodejshttp-serverterminationnodenpm-packagenpm
  Language:TypeScript 5

• letonchanh / dynamite

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

  dynamic-analysisterminationnon-terminationprogram-analysis
  Language:Roff 4

• TheLazyTomcat / AppKiller

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

  pascalobject-pascaldelphifpclazaruswindowsprocess-managementutilityprocesstermination
  Language:Pascal 4

• colebrumley / tlspxy

  A small TLS termination proxy

  tlsproxyterminationletsencrypt
  Language:Go 3

• coq-community / almost-full

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

  coqramseyterminationpaper-artifactsdocker-coq-actionnix-action
  Language:Coq 3

• HxnDev / TCP-Connection-Terminates-on-Goodbye

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

  ctcptcp-servertcp-clientconnectionterminationgoodbyecode
  Language:C 2

• jeremyephron / pyterminate

  Exit Python programs gracefully

  pythonpython3error-handlingpypi-packagecleanupterminationutility
  Language:Python 2

• ultimate-pa / ultimate-benchmarks

  program-analysisautomataltlreachabilityterminationsoftware-analysismodel-checkingbenchmarkbenchmarkingbenchmark-suiteultimate
  Language:C 2

• iiithf / distributed-systems

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

  modellogicaltimeglobalstatesnapshotrecordingterminationdetectionmutualexclusiondeadlockconsensusagreementiiith
  1

• 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.

  cexeprojectbinary-search-treebstnodespointersdatanodeceilingfloornumbersnegative-numberssearchtermination
  Language:C 1

• LennardKittner / thistermination

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

  derive-macroerror-messagesmacrorustterminationerror-handling
  Language:Rust 1

• FredMesnard / cTI

  cTI: a constraint-based Termination Inference tool for Prolog

  prologanalyzertermination
  Language:Prolog 0

• FWisniewski44 / CabTerm

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

  cabinetlegislaturespartiestermination
  Language:R 0

• hulloitskai / guillotine

  Terminating systems with multiple components, in style.

  golangterminationcontrol-flow
  Language:Go

• jfklorenz / Letter-Template

  LaTeX template for official letters or terminations.

  contractslatexletterresignationtemplateterminationtex
  Language:TeX

• 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.

  ruststatic-analysiskleeinksubstratevscode-extensionclillvmnuxtjsresearchterminationmemory-safetyrustc
  Language:Shell

• SpaceCafe / terminator

  gogolangtermination
  Language:Go

• teimichael / TRSAnalyzer

  A comprehensive analyzer for term rewriting systems.

  trsterm-rewritingterminationcomplexityanalyzer
  Language:Haskell