#

sized-types

Here are 4 public repositories matching this topic...

gallais / agda-sizedIO

IO using sized types and copatterns

experimental bindings agda directory-tree filepath input-output coinductive-types sized-types

Updated Apr 14, 2021
Agda

Tritlo / SizedMonads

An (very likely incorrect!) implementation of Sized Monads.

monads haskell sized-types

Updated Jan 16, 2018
Haskell

Proximyst / size_t.cr

Crystal mappings to the `size_t` and `usize_t` types.

crystal shard mit-license sized-types crystal-shards crystal-shard

Updated Jan 5, 2019
Crystal

CodiePP / sizebounded

Size bounded buffer as a secure data structure in C++

datastructures cpp secure-computation bsd3 secure-coding sized-types

Updated Jan 18, 2022
C++

Improve this page

Add a description, image, and links to the sized-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sized-types topic, visit your repo's landing page and select "manage topics."