Movatterモバイル変換

Skip to content

#

sized-types

Here are 4 public repositories matching this topic...

Language:All

Filter by language

All4 Agda1 C++1 Crystal1 Haskell1

gallais /agda-sizedIO

IO using sized types and copatterns

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

UpdatedApr 14, 2021
Agda

Tritlo /SizedMonads

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

monads haskell sized-types

UpdatedJan 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

UpdatedJan 5, 2019
Crystal

CodiePP /sizebounded

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

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

UpdatedJan 18, 2022
C++

Improve this page

Add a description, image, and links to thesized-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 thesized-types topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp