Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 3.9% dependent packages on hackage.haskell.org
Top 9.5% dependent repos on hackage.haskell.org
hackage.haskell.org : parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
Registry
-
Source
- JSON
purl: pkg:hackage/parameterized-utils
Keywords: bsd3, data-structures, dependent-types, library
License: BSD-3-Clause
Latest release: almost 4 years ago
First release: over 6 years ago
Dependent packages: 11
Dependent repositories: 30
Downloads: 10,497 total
Stars: 57 on GitHub
Forks: 14 on GitHub
Total Commits: 467
Committers: 34
Average commits per author: 13.735
Development Distribution Score (DDS): 0.773
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago
copilot-theorem 3.19.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...26 versions - Latest release: 15 days ago - 3 dependent packages - 4 dependent repositories - 4.67 thousand downloads total - 4 maintainers
copilot-verifier 3.19
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...2 versions - Latest release: 3 months ago - 1 dependent package - 46 downloads total - 3 maintainers
crux-llvm 0.8
This tool (and corresponding C library) are intended for verifying C programs using verification ...1 version - Latest release: 4 months ago - 2 dependent packages - 43 downloads total - 2 maintainers
crux 0.7
1 version - Latest release: 4 months ago - 2 dependent packages - 34 downloads total - 2 maintainerscrucible-llvm 0.6
Library providing LLVM-specific extensions to the crucible core library for Crucible-based simula...1 version - Latest release: 4 months ago - 2 dependent packages - 38 downloads total - 2 maintainers
crucible-symio 0.1
1 version - Latest release: 4 months ago - 2 dependent packages - 36 downloads total - 2 maintainerscrucible 0.7
1 version - Latest release: 4 months ago - 5 dependent packages - 37 downloads total - 2 maintainerscryptol 3.1.0
21 versions - Latest release: 4 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainerswhat4 1.5.1
What4 is a generic library for representing values as symbolic formulae which may contain referen...8 versions - Latest release: 7 months ago - 9 dependent packages - 18 dependent repositories - 3.84 thousand downloads total - 146 stars on GitHub - 3 maintainers
tasty-checklist 1.0.6.0
9 versions - Latest release: about 1 year ago - 2 dependent repositories - 1.36 thousand downloads total - 1 maintainerbv-sized 1.0.5
This module defines a width-parameterized bitvector type and various associated operations.16 versions - Latest release: over 1 year ago - 9 dependent packages - 21 dependent repositories - 11.1 thousand downloads total - 6 stars on GitHub - 4 maintainers