These files are containing the class Render.

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

null

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.13
Last update 04. January 2024
Tags: "null"
Organization not specified
URL https://kensa.dev
License Apache License, Version 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-reflect, antlr4,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.30.0
Last update 04. January 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.999
Last update 13. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.4

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.3
Last update 01. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

null

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.12
Last update 24. November 2023
Tags: "null"
Organization not specified
URL https://kensa.dev
License Apache License, Version 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-reflect, antlr4,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.2
Last update 08. November 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

net.ymate.apidocs.render.GitbookDocRender

net.ymate.apidocs.render.JsonDocRender

net.ymate.apidocs.render.PostmanDocRender

YMP ApiDocs Core

Group: net.ymate.apidocs Artifact: ymate-apidocs-core
Show documentation Show source

0 downloads

Artifact ymate-apidocs-core
Group net.ymate.apidocs
Version 2.0.1
Last update 08. July 2023
Tags: core apidocs
Organization not specified
URL https://www.ymate.net/
License not specified
Dependencies amount 2
Dependencies ymate-platform-webmvc, ymate-apidocs-annotation,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.1
Last update 31. May 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29
Last update 06. May 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

Page 379 from 2662 (items total 26619)