typed_buffers library
Growable typed-data lists.
These lists works just as a typed-data list, except that they are growable. They use an underlying buffer, and when that buffer becomes too small, it is replaced by a new buffer.
That means that using the buffer getter is not guaranteed
to return the same result each time it is used, and that the buffer may
be larger than what the list is using.