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.