typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.