GitHub repository: 3ddyy/purescript-sized-vectors
Primary language: PureScript
Description: Idris style sized vectors in PureScript