This repository hosts the following packages, which are based on the
io-classes package:
strict-checked-vars: strict variables that hold an invariant that must be maintained when writing values to the variables.resource-registry: a data structure that keeps track of resources and manage their deallocation.rawlock: a read-append-write lock.