There are 0 repository under control-operators topic.
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"