sized-types

There are 0 repository under sized-types topic.

gallais / agda-sizedIO
IO using sized types and copatterns
agda input-output coinductive-types sized-types bindings experimental directory-tree filepath
Language:Agda 33
Tritlo / SizedMonads
An (very likely incorrect!) implementation of Sized Monads.
haskell monads sized-types
Language:Haskell 3
CodiePP / sizebounded
Size bounded buffer as a secure data structure in C++
bsd3 cpp datastructures secure-coding secure-computation sized-types
Language:C++ 0
Proximyst / size_t.cr
Crystal mappings to the `size_t` and `usize_t` types.
crystal crystal-shard crystal-shards mit-license shard sized-types
Language:Crystal