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-parallel

Liquid Types For Haskell

Ecosystem
hackage.haskell.org
Latest Release
3.2.2.0.3
about 2 years ago
Versions
4
Downloads
346 total
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
Links
Registry hackage.haskell.org
Source Repository
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/liquid-parallel
spec
License BSD-3-Clause
First Release over 5 years ago
Last Synced 17 days ago
Keywords
bsd3 language library Propose Tags haskell refinement-types smt verification
Repository
Stars 1,260 on GitHub
Forks 150 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
Forks Top 1.6%