All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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 
Download mq-assistant-core.jar (2.0.1)
 

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 
Download mq-assistant-boot-starter.jar (2.0.1)
 

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 
Download mq-assistant-annotation.jar (2.0.1)
 

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)

Group: cool.doudou Artifact: pay-assistant-core
Show all versions Show documentation Show source 
Download pay-assistant-core.jar (2.0.0)
 

0 downloads
Artifact pay-assistant-core
Group cool.doudou
Version 2.0.0


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

Group: cool.doudou Artifact: pay-assistant-boot-starter
Show all versions Show documentation Show source 
Download pay-assistant-boot-starter.jar (2.0.0)
 

0 downloads
Artifact pay-assistant-boot-starter
Group cool.doudou
Version 2.0.0


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

Group: cool.doudou Artifact: pay-assistant-annotation
Show all versions Show documentation Show source 
Download pay-assistant-annotation.jar (2.0.0)
 

0 downloads
Artifact pay-assistant-annotation
Group cool.doudou
Version 2.0.0


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 
Download tools-repl.jar (0.34.0)
 

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 4
Dependencies pretty, 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 
Download tools-md.jar (0.34.0)
 

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 
Download tools-kala.jar (0.34.0)
 

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 
Download tools.jar (0.34.0)
 

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)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy