GitHub topics: sized
kowainik/slist
♾️ Sized list
Language: Haskell - Size: 79.1 KB - Last synced at: 19 days ago - Pushed at: 12 months ago - Stars: 46 - Forks: 6
MarcelineVQ/idris2-sarray
Immutable Size Indexed Arrays
Language: Idris - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0
tomeeeS/KotlinDataStructuresAlgos
data structures and algorithms in Kotlin for JVM development
Language: Kotlin - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
justinwoo/purescript-dango
A fun library for sized lists in PureScript 0.12 using Symbols
Language: PureScript - Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
