There are 0 repository under sized-types topic.
IO using sized types and copatterns
An (very likely incorrect!) implementation of Sized Monads.
Size bounded buffer as a secure data structure in C++
Crystal mappings to the `size_t` and `usize_t` types.