Download JAR files tagged by takamaka with all dependencies
io-takamaka-code from group io.hotmoka (version 1.3.1)
This module defines the support library of the Takamaka language.
0 downloads
Artifact io-takamaka-code
Group io.hotmoka
Version 1.3.1
Last update 23. July 2024
Organization Hotmoka
URL https://github.com/Hotmoka/io-takamaka-code/io-takamaka-code
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.1
Last update 23. July 2024
Organization Hotmoka
URL https://github.com/Hotmoka/io-takamaka-code/io-takamaka-code
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
io-takamaka-code-constants from group io.hotmoka (version 1.3.1)
This module defines constants about the Takamaka support library.
Group: io.hotmoka Artifact: io-takamaka-code-constants
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact io-takamaka-code-constants
Group io.hotmoka
Version 1.3.1
Last update 23. July 2024
Organization Hotmoka
URL https://github.com/Hotmoka/io-takamaka-code/io-takamaka-code-constants
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.3.1
Last update 23. July 2024
Organization Hotmoka
URL https://github.com/Hotmoka/io-takamaka-code/io-takamaka-code-constants
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
io-hotmoka-verification from group io.hotmoka (version 1.6.0)
This module implements the verification algorithms for Takamaka programs.
0 downloads
Artifact io-hotmoka-verification
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification
License The Apache License, Version 2.0
Dependencies amount 4
Dependencies io-hotmoka-verification-api, io-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-exceptions,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification
License The Apache License, Version 2.0
Dependencies amount 4
Dependencies io-hotmoka-verification-api, io-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-exceptions,
There are maybe transitive dependencies!
io-hotmoka-verification-api from group io.hotmoka (version 1.6.0)
This module defines the API of the verification algorithms for Takamaka programs.
Group: io.hotmoka Artifact: io-hotmoka-verification-api
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact io-hotmoka-verification-api
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-whitelisting-api, bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-verification-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-whitelisting-api, bcel,
There are maybe transitive dependencies!
io-hotmoka-constants from group io.hotmoka (version 1.4.2)
This module defines constants about Takamaka and Hotmoka.
0 downloads
Artifact io-hotmoka-constants
Group io.hotmoka
Version 1.4.2
Last update 09. March 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-constants
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.4.2
Last update 09. March 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-constants
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
io-hotmoka-instrumentation-api from group io.hotmoka (version 1.6.0)
This module defines the API of the instrumentation of Takamaka code before being installed in a Hotmoka node.
Group: io.hotmoka Artifact: io-hotmoka-instrumentation-api
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact io-hotmoka-instrumentation-api
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-verification-api, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation-api
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies io-hotmoka-verification-api, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-instrumentation from group io.hotmoka (version 1.6.0)
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.
Group: io.hotmoka Artifact: io-hotmoka-instrumentation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact io-hotmoka-instrumentation
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation
License The Apache License, Version 2.0
Dependencies amount 6
Dependencies io-hotmoka-instrumentation-api, io-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-instrumentation
License The Apache License, Version 2.0
Dependencies amount 6
Dependencies io-hotmoka-instrumentation-api, io-takamaka-code-constants, io-hotmoka-whitelisting, io-hotmoka-verification, io-hotmoka-exceptions, it-univr-bcel,
There are maybe transitive dependencies!
io-hotmoka-whitelisting from group io.hotmoka (version 1.6.0)
This module defines the implementation of white-listing in Hotmoka. It is used to define a subset of Java that can be used for Takamaka smart contracts.
0 downloads
Artifact io-hotmoka-whitelisting
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-whitelisting
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies io-hotmoka-whitelisting-api,
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-whitelisting
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies io-hotmoka-whitelisting-api,
There are maybe transitive dependencies!
io-hotmoka-whitelisting-api from group io.hotmoka (version 1.6.0)
This module defines the API of white-listing in Hotmoka. It is used to define a subset of Java that can be used for Takamaka smart contracts.
Group: io.hotmoka Artifact: io-hotmoka-whitelisting-api
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact io-hotmoka-whitelisting-api
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-whitelisting-api
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.hotmoka
Version 1.6.0
Last update 02. June 2024
Organization Hotmoka
URL https://github.com/Hotmoka/hotmoka/io-hotmoka-whitelisting-api
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
takamaka-extra from group io.takamaka.extra (version 1.2)
This package contains utilities to extract information regarding metadata and also to support creation of a blob transaction in takamaka wallet.
0 downloads
Artifact takamaka-extra
Group io.takamaka.extra
Version 1.2
Last update 16. February 2023
Organization AiliA SA
URL https://github.com/takamaka-dev/takamaka-extra.git
License The Apache License, Version 2.0
Dependencies amount 4
Dependencies lombok, tika-core, jackson-databind, takamaka-core-wallet,
There are maybe transitive dependencies!
Group io.takamaka.extra
Version 1.2
Last update 16. February 2023
Organization AiliA SA
URL https://github.com/takamaka-dev/takamaka-extra.git
License The Apache License, Version 2.0
Dependencies amount 4
Dependencies lombok, tika-core, jackson-databind, takamaka-core-wallet,
There are maybe transitive dependencies!
Page 1 from 2 (items total 12)