Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

liquid-vector

Liquid Types For Haskell

Ecosystem
hackage.haskell.org
Latest Release
0.13.1.0.2
about 2 months ago
Versions
5
Downloads
623 total
Dependent Packages
1
Dependent Repos
4
0.13.1.0.2
Published: about 2 months ago
Registry - Download
0.13.1.0.1
Published: about 2 years ago
Registry - Download
0.12.3.1.2
Published: over 2 years ago
Registry - Download
0.12.3.1
Published: almost 3 years ago
Registry - Download
0.12.1.2
Published: over 5 years ago
Registry - Download
Links
Registry hackage.haskell.org
Source Repository
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/liquid-vector
spec
License BSD-3-Clause
First Release over 5 years ago
Last Synced 13 days ago
Keywords
bsd3 language library Propose Tags haskell refinement-types smt verification
Repository
Stars 1,194 on GitHub
Forks 139 on GitHub
Commits 10242
Committers 113
Avg per Author 90.637
DDS 0.601
commits.ecosyste.ms
repos.ecosyste.ms
Rankings on hackage.haskell.org
Dependent packages Top 7.6%
Forks Top 2.8%