Ecosyste.ms: Packages

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

hackage.haskell.org maintainers: TomHawkins

htzaar 0.0.2
3 versions - Latest release: over 14 years ago - 2.51 thousand downloads total - 1 maintainer
fault-tree 0.0.0
1 version - Latest release: over 13 years ago - 1.29 thousand downloads total - 1 maintainer
dove 0.0.0
1 version - Latest release: about 9 years ago - 1.02 thousand downloads total - 1 maintainer
hcc 0.0.0
1 version - Latest release: over 14 years ago - 1.23 thousand downloads total - 1 maintainer
engineering-units 0.0.2
3 versions - Latest release: over 8 years ago - 2.64 thousand downloads total - 1 maintainer
smt-lib 0.0.2
3 versions - Latest release: almost 14 years ago - 2 dependent repositories - 2.43 thousand downloads total - 1 maintainer
theoremquest 0.0.0
1 version - Latest release: about 13 years ago - 1 dependent repositories - 1.16 thousand downloads total - 1 maintainer
statechart 0.1.0
2 versions - Latest release: almost 14 years ago - 1.92 thousand downloads total - 1 maintainer
ltl 0.0.0
1 version - Latest release: about 14 years ago - 1 dependent repositories - 1.1 thousand downloads total - 1 maintainer
theoremquest-client 0.0.0
1 version - Latest release: about 13 years ago - 1.12 thousand downloads total - 1 maintainer
powerpc 0.0.1
2 versions - Latest release: about 14 years ago - 1.75 thousand downloads total - 1 maintainer
fountain 0.0.6
7 versions - Latest release: over 11 years ago - 5.47 thousand downloads total - 2 maintainers
srec 0.1.0
2 versions - Latest release: over 12 years ago - 1.8 thousand downloads total - 1 maintainer
vcd 0.2.2
9 versions - Latest release: over 11 years ago - 1 dependent repositories - 6.34 thousand downloads total - 1 maintainer
circ 0.0.4
5 versions - Latest release: almost 12 years ago - 4.17 thousand downloads total - 1 maintainer
cil 0.1.1
5 versions - Latest release: over 13 years ago - 2 dependent repositories - 3.99 thousand downloads total - 1 maintainer
afv 0.1.1
7 versions - Latest release: about 14 years ago - 5.68 thousand downloads total - 1 maintainer
ccnx 0.0.0
1 version - Latest release: almost 14 years ago - 1.14 thousand downloads total - 1 maintainer
acl2 0.0.1
2 versions - Latest release: over 9 years ago - 2.34 thousand downloads total - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...
29 versions - Latest release: almost 13 years ago - 19.7 thousand downloads total - 56 stars on GitHub - 1 maintainer
verilog 0.0.11
A Verilog parser for Haskell.
11 versions - Latest release: about 9 years ago - 3 dependent repositories - 7.63 thousand downloads total - 32 stars on GitHub - 1 maintainer
ecu 0.0.8
A collection of tools developed and used by Eaton's electro-hydraulic software engineers. Most o...
9 versions - Latest release: over 13 years ago - 7.1 thousand downloads total - 1 maintainer
atom 1.0.13
24 versions - Latest release: almost 9 years ago - 2 dependent packages - 7 dependent repositories - 21.5 thousand downloads total - 2 maintainers
mecha 0.1.1
8 versions - Latest release: almost 13 years ago - 1 dependent repositories - 5.85 thousand downloads total - 1 maintainer