I write type-safe generic data structures in C

https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/