3 results found Sort:

softstack
Smart-Contract-Security-Audits softstack
395
766
unknown
225
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
347 commits to master branch, last one 6 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 3 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