Group: Anaplan Engineering

Sort: popular | newest

1. Azuki4 usages

com.anaplan.engineering » azuki-coreMIT

The core library of the Azuki framework for behaviour driven specification
Last Release on Jun 19, 2023

2. VDM Animation API3 usages

com.anaplan.engineering » vdm-animation-apiMIT

A service API for animating VDM specifications
Last Release on Jun 19, 2023

3. Azuki Runner2 usages

com.anaplan.engineering » azuki-runnerMIT

Standalone tools to run Azuki scenarios
Last Release on Jun 19, 2023

4. Kazuki2 usages

com.anaplan.engineering » kazuki-coreMIT

The core library of the Kazuki specification framework
Last Release on Sep 17, 2024

5. Overture VDM Animator2 usages

com.anaplan.engineering » vdm-animation-overtureMIT

A programmatic wrapper enabling in-process animation of VDM specifications
Last Release on Jun 19, 2023

6. VDM Gradle Plugin2 usages

com.anaplan.engineering » vdm-gradle-pluginGPL

A Gradle plugin to parse, type-check, test and publish a VDM specification.
Last Release on Jun 19, 2023

7. Azuki Scenario Batch Api2 usages

com.anaplan.engineering » azuki-batch-apiMIT

Implementable batch constructor for verifying scenario batch with Azuki
Last Release on Apr 23, 2024
A Gradle plugin to generate stub classes from the structure of a VDM specification
Last Release on Jun 19, 2023
Tools to assist with formatting Azuki scenario scripts
Last Release on Apr 23, 2024

10. Azuki Declaration1 usages

com.anaplan.engineering » azuki-declarationMIT

Tools to assist Azuki adapter implementors with managing declarations
Last Release on Apr 23, 2024

11. VDM Pretty Printer1 usages

com.anaplan.engineering » vdm-pretty-printerMIT

Tools to produce a pretty-printed representation of a VDM AST.
Last Release on Mar 14, 2022

12. Azuki Script Generation

com.anaplan.engineering » azuki-script-generationMIT

Tools to assist with the recreation of scripts from in-memory Azuki scenarios
Last Release on Apr 23, 2024

13. Kazuki Toolkit

com.anaplan.engineering » kazuki-toolkitMIT

Toolkit of generic functions for use with the Kazuki specification framework
Last Release on Sep 17, 2024

14. Azuki Scenario Guided Batch

com.anaplan.engineering » azuki-batch-guidedMIT

Library to construct a batch of guided scenarios to verify with Azuki
Last Release on Apr 23, 2024

15. Azuki VDM Tools

com.anaplan.engineering » azuki-vdmMIT

Tools for adapting to VDM when using the Azuki framework for behaviour driven specification
Last Release on Jun 19, 2023

16. Azuki Scenario Orchestrator

com.anaplan.engineering » azuki-orchestratorMIT

Library to orchestrate verification by Azuki of a batch of scenarios
Last Release on Apr 23, 2024

17. Azuki Platform

com.anaplan.engineering » azuki-platformMIT

BOM for the Azuki framework
Last Release on Jun 19, 2023
A Gradle plugin to generate stub classes from the structure of a VDM specification
Last Release on Jan 17, 2023

19. Kazuki KSP

com.anaplan.engineering » kazuki-kspMIT

The KSP to support Kazuki
Last Release on Sep 17, 2024

20. Azuki Scenario Formatter

com.anaplan.engineering » azuki-formatterMIT

Formatter for Azuki scenarios
Last Release on Jun 19, 2023