3 results found Sort:

softstack
Smart-Contract-Security-Audits softstack
396
771
unknown
226
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
nft defi rust wasm audit bep20 vyper plutus ethereum solidity michelson erc20-tokens move-contracts security-audit solana-program smart-contracts solidity-contracts binance-smart-chain smart-contracts-audit smart-contract-vulnerability
Created 2018-06-27
349 commits to master branch, last one 12 days ago
OCamlPro
liquidity OCamlPro
33
157
gpl-3.0
17
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
ocaml tezos liquidity michelson blockchain smart-contracts
Created 2017-05-31
880 commits to next branch, last one 4 years ago
hicetnunc2000
objkt-swap hicetnunc2000
48
79
unknown
9
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
tezos michelson atomic-swap smart-contract tezos-blockchain
Created 2020-11-21
57 commits to master branch, last one about a year ago