Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sigma-andex/purescript-fast-vect
Fast 🐆, type-safe vectors for Purescript
https://github.com/sigma-andex/purescript-fast-vect
dependent-types
Last synced: 2 months ago
JSON representation
Fast 🐆, type-safe vectors for Purescript
- Host: GitHub
- URL: https://github.com/sigma-andex/purescript-fast-vect
- Owner: sigma-andex
- License: mit-0
- Created: 2021-06-12T21:32:27.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-12-10T10:05:13.000Z (7 months ago)
- Last Synced: 2024-04-25T02:08:09.809Z (3 months ago)
- Topics: dependent-types
- Language: PureScript
- Homepage:
- Size: 969 KB
- Stars: 26
- Watchers: 4
- Forks: 6
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Lists
- awesome-purescript - fast-vect - Fast, type-safe vector libary for Purescript inspired by Idris. A vector is list with its size encoded in the type. (Data types)