Pinned Loading

1. a16z/halmos a16z/halmos Public

   A symbolic testing tool for EVM smart contracts

   Python 881 80

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

   ERC4626 Property Tests

   Solidity 178 26

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

   Smart contracts which are formally verified

   Solidity 727 136

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

   Makefile 33 21

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

   KVyper: Semantics of Vyper in K

   Python 41 10

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

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript 88 21