Pinned Loading

1. a16z/halmos a16z/halmos Public

   A symbolic testing tool for EVM smart contracts

   Python 965 97

2. a16z/erc4626-tests a16z/erc4626-tests Public

   ERC4626 Property Tests

   Solidity 196 33

3. runtimeverification/verified-smart-contracts runtimeverification/verified-smart-contracts Public

   Smart contracts which are formally verified

   Solidity 747 139

4. runtimeverification/deposit-contract-verification runtimeverification/deposit-contract-verification Public

   Makefile 39 25

5. kframework/vyper-semantics kframework/vyper-semantics Public

   KVyper: Semantics of Vyper in K

   Python 41 9

6. kframework/javascript-semantics kframework/javascript-semantics Public

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript 103 19