wasmedge
|
0.13.5-1 |
3 |
0.00
|
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices. |
tee
|
2023-11-04 14:09 (UTC) |
vyper-git
|
v0.2.11-1 |
0 |
0.00
|
Pythonic Smart Contract Language for the EVM |
blacktemplar
|
2021-02-28 07:36 (UTC) |
vyper
|
0.1.0_beta.4-2 |
0 |
0.00
|
Pythonic Smart Contract Language for the EVM |
travs
|
2018-11-09 07:40 (UTC) |
truffle
|
5.11.5-1 |
7 |
0.00
|
Development framework for Ethereum smart contracts |
quest
|
2023-10-03 23:55 (UTC) |
tblis-git
|
v1.2.0.r17.g3dd4acb-1 |
0 |
0.00
|
TBLIS is a library and framework for performing tensor operations, especially tensor contraction, using efficient native algorithms. |
edeustua
|
2021-03-14 23:04 (UTC) |
sui-git
|
r0.15.0-2 |
0 |
0.00
|
Next-generation smart contract platform with high throughput |
orphan
|
2022-11-08 20:35 (UTC) |
sui-bin
|
1.17.3-1 |
0 |
0.00
|
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language. (official binary) |
orphan
|
2024-01-31 08:51 (UTC) |
sui
|
1.22.0-1 |
1 |
0.21
|
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language. |
Xeonacid
|
2024-04-11 03:40 (UTC) |
solidity-git
|
0.5.0.20181110.9709dfe04-1 |
5 |
0.00
|
The Solidity Contract-Oriented Programming Language (latest unstable git version) |
ekpyron
|
2018-11-10 17:20 (UTC) |
solidity-bin
|
0.8.25-1 |
1 |
0.00
|
Contract-Oriented Programming Language |
phnx47
|
2024-03-14 15:24 (UTC) |
solidity
|
0.8.25-1 |
5 |
0.92
|
Contract-Oriented Programming Language |
phnx47
|
2024-03-14 16:08 (UTC) |
solar-git
|
20190721-1 |
1 |
0.00
|
Smart Contracts deployment tool |
mikehash
|
2019-07-21 16:40 (UTC) |
sheikah-witnet-wallet-bin
|
1.11.9-7 |
0 |
0.00
|
A Witnet compatible desktop wallet and smart contracts development environment |
zxp19821005
|
2024-03-18 15:51 (UTC) |
qtum-core-aarch64
|
0.18.3-1 |
1 |
0.00
|
Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. |
mikehash
|
2020-01-24 20:36 (UTC) |
qtum-core
|
0.20.3-1 |
1 |
0.00
|
Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. |
mikehash
|
2021-07-04 06:56 (UTC) |
python-vyper-git
|
0.2.11-2 |
1 |
0.00
|
Pythonic Smart Contract Language for the EVM |
skelletor
|
2021-02-28 20:27 (UTC) |
python-pycontracts
|
1.8.14-6 |
0 |
0.00
|
Declare constraints on function parameters and return values |
orphan
|
2023-04-24 21:22 (UTC) |
python-icontract
|
2.6.6-1 |
1 |
0.12
|
Design-by-contract in Python3 with informative violation messages and inheritance |
carsme
|
2024-01-28 22:48 (UTC) |
python-erdpy
|
1.0.21-2 |
0 |
0.00
|
Elrond Smart Contracts Tools and Python SDK. |
MarsSeed
|
2021-12-28 20:43 (UTC) |
python-dlib-cuda
|
19.24.3-1 |
14 |
0.02
|
Dlib is a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. |
petronny
|
2024-03-30 13:10 (UTC) |
python-dlib
|
19.24.3-1 |
14 |
0.02
|
Dlib is a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. |
petronny
|
2024-03-30 13:10 (UTC) |
python-deal
|
4.24.4-1 |
1 |
0.12
|
Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free |
carsme
|
2024-03-23 16:11 (UTC) |
pantheon-print-git
|
r26.28f2600-1 |
7 |
0.00
|
Simple shim for printing support via Contractor |
orphan
|
2018-05-25 18:29 (UTC) |
pact
|
4.10.0-1 |
0 |
0.00
|
Interpreter for the Pact Smart Contract Language. |
salamaashoush
|
2023-12-07 14:23 (UTC) |
mingw-w64-dlib
|
19.24.4-1 |
2 |
0.00
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques (mingw-w64) |
pingplug
|
2024-03-31 20:02 (UTC) |
lll
|
0.6.1-2 |
1 |
0.00
|
The Lovely Little Language compiler for Ethereum smart contracts |
veox
|
2020-02-05 14:25 (UTC) |
ligo-bin
|
1.6.0-1 |
0 |
0.00
|
High Level Smart Contract Language for Tezos (binary) |
LigoLang
|
2024-04-15 16:45 (UTC) |
file-roller-pantheon
|
43.0-1 |
1 |
0.00
|
Create and modify archives (with Contractor integration) |
quequotion
|
2022-12-02 13:37 (UTC) |
ergo-node
|
4.0.104-1 |
1 |
0.00
|
Reference implementation of the Ergo protocol. Ergo is a smart contract platform and cryptocurrency. This package provides a Systemd service and a script that runs Ergo node using Xdg base dirs. |
Cloudperry
|
2022-10-24 22:25 (UTC) |
echidna
|
2.2.0-1 |
0 |
0.00
|
A Fast Smart Contract Fuzzer |
HaCk0
|
2023-05-26 14:35 (UTC) |
dlib-git
|
r7718.b0e3c360-1 |
2 |
0.00
|
General purpose C++ library using contract programming and modern C++ techniques |
sandsmark
|
2019-12-08 14:08 (UTC) |
dlib-cuda
|
19.24.3-1 |
3 |
0.00
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques |
swiftscythe
|
2024-03-10 23:30 (UTC) |
dlib
|
19.24.4-1 |
38 |
0.01
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques |
pingplug
|
2024-04-05 02:36 (UTC) |
contractor-git
|
0.3.4.r230.73372b4-1 |
20 |
0.00
|
A desktop-wide extension service |
btd1337
|
2021-03-09 20:32 (UTC) |
chainweaver
|
2.2.3.0-1 |
1 |
0.00
|
Official Kadena wallet for advanced blockchain usage and smart contract development. The desktop edition has a signing API to interact with dapps on Kadena Chainweb. |
jvybihal
|
2023-08-11 12:41 (UTC) |
c0-bin
|
0.771-1 |
1 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-07-10 23:34 (UTC) |
c0
|
1:553-1 |
4 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-08-16 23:29 (UTC) |