Group: Visionary Contrax Kotlin
1.Contrax Annotations3 usages
software.visionary.contrax.kotlin » annotations GPL
Visionary Software Solutions Contrax: Design by Contract annotations (@Contract, @PreCondition, @PostCondition) and the Enforcement SPI
Last Release on May 24, 2026
2.Contrax Enforcements1 usages
software.visionary.contrax.kotlin » enforcements GPL
Visionary Software Solutions Contrax: Built-in contract enforcements (IsNotBlank, IsPositive)
Last Release on May 24, 2026
3.Contrax Processor
software.visionary.contrax.kotlin » processor GPL
Visionary Software Solutions Contrax: K2/FIR compiler plugin that enforces Design by Contract constraints at compile time
Last Release on May 24, 2026
4.Contrax Range Check
software.visionary.contrax.kotlin » range-check GPL
Visionary Software Solutions Contrax: third-party @RangeBounds parameterized enforcement plugin demonstrating meta-annotation dispatch
Last Release on May 24, 2026