GitHub topics: sized-types
gallais/agda-sizedIO
IO using sized types and copatterns
Language: Agda - Size: 4.56 MB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 33 - Forks: 1
Proximyst/size_t.cr 📦
Crystal mappings to the `size_t` and `usize_t` types.
Language: Crystal - Size: 5.86 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
CodiePP/sizebounded
Size bounded buffer as a secure data structure in C++
Language: C++ - Size: 13.7 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Tritlo/SizedMonads
An (very likely incorrect!) implementation of Sized Monads.
Language: Haskell - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
