io-classes based utilities

October 22, 2024 ยท View on GitHub

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.