Download JAR files tagged by tool with all dependencies
lspplugin from group dk.au.ece.vdmj (version 4.5.0-P)
0 downloads
Artifact lspplugin
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!
vdmjunit from group dk.au.ece.vdmj (version 4.5.0-P)
0 downloads
Artifact vdmjunit
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, vdmj,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, vdmj,
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.5.0-P)
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in
Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a
proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support
for automatic testing and user definable annotations.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
examples from group dk.au.ece.vdmj (version 4.5.0-P)
Group: dk.au.ece.vdmj Artifact: examples
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact examples
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
stdlib from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact stdlib
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!
vdmj from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact vdmj
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, apfloat,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, apfloat,
There are maybe transitive dependencies!
dbgpc from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact dbgpc
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
sqlx from group org.jaxdb (version 0.6.0)
SQLx is a vendor-agnostic, XML-based SQL data definition standard that offers the power of XML
validation for your static SQL data. The SQLx framework utilizes a strongly-typed DDLx file to
generate a XML Schema document that translates DDLx constructs into the XSD language. With the
SQLx XSLT, the SQLx tool leverages the power of XML Schema Validation and provides a cohesive
structured model to define SQL data (that conforms to your SQL schema, defined in a DDLx file).
Artifact sqlx
Group org.jaxdb
Version 0.6.0
Last update 27. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ddlx, generator,
There are maybe transitive dependencies!
Group org.jaxdb
Version 0.6.0
Last update 27. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ddlx, generator,
There are maybe transitive dependencies!
java-uuid-generator from group com.fasterxml.uuid (version 5.0.0)
Java UUID Generator (JUG) is a Java library for generating
Universally Unique IDentifiers, UUIDs (see http://en.wikipedia.org/wiki/UUID).
It can be used either as a component in a bigger application, or as a standalone command line tool.
JUG generates UUIDs according to the IETF UUID draft specification.
JUG supports 3 original official UUID generation methods as well as later additions (v6, v7)
Group: com.fasterxml.uuid Artifact: java-uuid-generator
Show all versions Show documentation Show source
Show all versions Show documentation Show source
368 downloads
Artifact java-uuid-generator
Group com.fasterxml.uuid
Version 5.0.0
Last update 24. February 2024
Organization FasterXML.com
URL https://github.com/cowtowncoder/java-uuid-generator
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!
Group com.fasterxml.uuid
Version 5.0.0
Last update 24. February 2024
Organization FasterXML.com
URL https://github.com/cowtowncoder/java-uuid-generator
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!
pple-sdk from group com.scandit.shelf (version 1.4.1)
The Price and Promotion Label Execution (PPLE) SDK by Scandit is a tool for validating price labels. It provides the capabilities for validating the price and aggregating this information to a web tool.
For each scanned label, the SDK validates its price and indicates whether it is correct, incorrect or unknown. Your application can be then designed to function based on this information.
Mismatched data then can be uploaded to the web tool and tasked accordingly.
Group: com.scandit.shelf Artifact: pple-sdk
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact pple-sdk
Group com.scandit.shelf
Version 1.4.1
Last update 20. February 2024
Organization not specified
URL https://shelf.scandit.com
License Scandit Commercial License
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
Group com.scandit.shelf
Version 1.4.1
Last update 20. February 2024
Organization not specified
URL https://shelf.scandit.com
License Scandit Commercial License
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- 160
- 161
- 162
- 163
- 164
- 165
- 166
- 167
- 168
- 169
- 170
- 171
- 172
- 173
- 174
- 175
- 176
- 177
- 178
- 179
- 180
- 181
- 182
- 183
- 184
- 185
- 186
- 187
- 188
- 189
- 190
- 191
- 192
- 193
- 194
- 195
- 196
- 197
- 198
- 199
- 200
- 201
- 202
- 203
- 204
- 205
- 206
- 207
- 208
- 209
- 210
- 211
- 212
- 213
- 214
- 215
- 216
- 217
- 218
- 219
- 220
- 221
- 222
- 223
- 224
- 225
- 226
- 227
- 228
- 229
- 230
- 231
- 232
- 233
- 234
- 235
- 236
- 237
- 238
- 239
- 240
- 241
- 242
- 243
- 244
- 245
- 246
- 247
- 248
- 249
- 250
- 251
- 252
- 253
- 254
- 255
- 256
- 257
- 258
- 259
- 260
- 261
- 262
- 263
- 264
- 265
- 266
- 267
- 268
- 269
- 270
- 271
- 272
- 273
- 274
- 275
- 276
- 277
- 278
- 279
- 280
- 281
- 282
- 283
- 284
- 285
- 286
- 287
- 288
- 289
- 290
- 291
- 292
- 293
- 294
- 295
- 296
- 297
- 298
- 299
- 300
- 301
- 302
- 303
- 304
- 305
- 306
- 307
- 308
- 309
- 310
- 311
- 312
- 313
- 314
- 315
- 316
- 317
- 318
- 319
- 320
- 321
- 322
- 323
- 324
- 325
- 326
- 327
- 328
- 329
- 330
- 331
- 332
- 333
- 334
- 335
- 336
- 337
- 338
- 339
- 340
- 341
- 342
- 343
- 344
- 345
- 346
- 347
- 348
- 349
- 350
- 351
- 352
- 353
- 354
- 355
- 356
- 357
- 358
- 359
- 360
- 361
- 362
- 363
- 364
- 365
- 366
- 367
- 368
- 369
- 370
- 371
- 372
- 373
- 374
- 375
- 376
- 377
- 378
- 379
- 380
- 381
- 382
- 383
- 384
- 385
- 386
- 387
- 388
- 389
- 390
- 391
- 392
- 393
- 394
- 395
- 396
- 397
- 398
- 399
- 400
- 401
- 402
- 403
- 404
- 405
- 406
- 407
- 408
- 409
- 410
- 411
- 412
- 413
- 414
- 415
- 416
- 417
- 418
- 419
- 420
- 421
- 422
- 423
- 424
- 425
- 426
- 427
- 428
- 429
- 430
- 431
- 432
- 433
- 434
- 435
- 436
- 437
- 438
- 439
- 440
- 441
- 442
- 443
- 444
- 445
- 446
- 447
- 448
- 449
- 450
- 451
- 452
- 453
- 454
- 455
- 456
- 457
- 458
- 459
- 460
- 461
- 462
- 463
- 464
- 465
- 466
- 467
- 468
- 469
- 470
- 471
- 472
- 473
- 474
- 475
- 476
- 477
- 478
- 479
- 480
- 481
- 482
- 483
- 484
- 485
- 486
- 487
- 488
- 489
- 490
- 491
- 492
- 493
- 494
- 495
- 496
- 497
- 498
- 499
- 500
- 501
- 502
- 503
- 504
- 505
- 506
- 507
- 508
- 509
- 510
- 511
- 512
- 513
- 514
- 515
- 516
- 517
- 518
- 519
- 520
- 521
- 522
- 523
- 524
- 525
- 526
- 527
- 528
- 529
- 530
- 531
- 532
- 533
- 534
- 535
- 536
- 537
- 538
- 539
- 540
- 541
- 542
- 543
- 544
- 545
- 546
- 547
- 548
- 549
- 550
- 551
- 552
- 553
- 554
- 555
- 556
- 557
- 558
- 559
- 560
- 561
- 562
- 563
- 564
- 565
- 566
- 567
- 568
- 569
- 570
- 571
- 572
- 573
- 574
- 575
- 576
- 577
- 578
- 579
- 580
- 581
- 582
- 583
- 584
- 585
- 586
- 587
- 588
- 589
- 590
- 591
- 592
- 593
- 594
- 595
- 596
- 597
- 598
- 599
- 600
- 601
- 602
- 603
- 604
- 605
- 606
- 607
- 608
- 609
- 610
- 611
- 612
- 613
- 614
- 615
- 616
- 617
- 618
- 619
- 620
- 621
- 622
- 623
- 624
- 625
- 626
- 627
- 628
- 629
- 630
- 631
- 632
- 633
- 634
- 635
- 636
- 637
- 638
- 639
- 640
- 641
- 642
- 643
- 644
- 645
- 646
- 647
- 648
- 649
- 650
- 651
- 652
- 653
- 654
- 655
- 656
- 657
- 658
- 659
- 660
- 661
- 662
- 663
- 664
- 665
- 666
- 667
- 668
- 669
- 670
- 671
Page 636 from 671 (items total 6701)