Download JAR files tagged by assistant with all dependencies

mq-assistant-core from group cool.doudou (version 2.0.1)

MQ Assistant

Group: cool.doudou Artifact: mq-assistant-core
Show all versions Show documentation Show source

0 downloads

Artifact mq-assistant-core
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-annotation,
There are maybe transitive dependencies!

mq-assistant-boot-starter from group cool.doudou (version 2.0.1)

MQ Assistant

Group: cool.doudou Artifact: mq-assistant-boot-starter
Show all versions Show documentation Show source

0 downloads

Artifact mq-assistant-boot-starter
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-core,
There are maybe transitive dependencies!

mq-assistant-annotation from group cool.doudou (version 2.0.1)

MQ Assistant

Group: cool.doudou Artifact: mq-assistant-annotation
Show all versions Show documentation Show source

0 downloads

Artifact mq-assistant-annotation
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

pay-assistant-core from group cool.doudou (version 2.0.0)

Pay Assistant

Group: cool.doudou Artifact: pay-assistant-core
Show all versions Show documentation Show source

0 downloads

Artifact pay-assistant-core
Group cool.doudou
Version 2.0.0
Last update 06. August 2022
Organization not specified
URL https://github.com/jiangchengshi/pay-assistant
License The Apache License, Version 2.0
Dependencies amount 3
Dependencies pay-assistant-annotation, okhttp, fastjson2,
There are maybe transitive dependencies!

pay-assistant-boot-starter from group cool.doudou (version 2.0.0)

Pay Assistant

Group: cool.doudou Artifact: pay-assistant-boot-starter
Show all versions Show documentation Show source

0 downloads

Artifact pay-assistant-boot-starter
Group cool.doudou
Version 2.0.0
Last update 06. August 2022
Organization not specified
URL https://github.com/jiangchengshi/pay-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies pay-assistant-core,
There are maybe transitive dependencies!

pay-assistant-annotation from group cool.doudou (version 2.0.0)

Pay Assistant

Group: cool.doudou Artifact: pay-assistant-annotation
Show all versions Show documentation Show source

0 downloads

Artifact pay-assistant-annotation
Group cool.doudou
Version 2.0.0
Last update 06. August 2022
Organization not specified
URL https://github.com/jiangchengshi/pay-assistant
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

tools-repl from group org.aya-prover (version 0.34.0)

The Aya proof assistant

Group: org.aya-prover Artifact: tools-repl
Show all versions Show documentation Show source

0 downloads

Artifact tools-repl
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies tools, jline-reader, jline-terminal,
There are maybe transitive dependencies!

tools-md from group org.aya-prover (version 0.34.0)

The Aya proof assistant

Group: org.aya-prover Artifact: tools-md
Show all versions Show documentation Show source

0 downloads

Artifact tools-md
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies tools-kala, annotations, commonmark,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.34.0)

The Aya proof assistant

Group: org.aya-prover Artifact: tools-kala
Show all versions Show documentation Show source

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools from group org.aya-prover (version 0.34.0)

The Aya proof assistant

Group: org.aya-prover Artifact: tools
Show all versions Show documentation Show source

0 downloads

Artifact tools
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-collection, pretty,
There are maybe transitive dependencies!

Page 1 from 3 (items total 164)