daejunpark
Follow
-
-
-
morpho-blue Public
Forked from morpho-org/morpho-blue🟦 Morpho Blue Protocol
Solidity Other UpdatedSep 28, 2024 -
morpho-data-structures Public
Forked from morpho-org/morpho-data-structuresData structures tested and used by the Morpho Protocol.
-
farcaster-contracts Public
Forked from farcasterxyz/contractsImplementation of the Farcaster contracts
Solidity MIT License UpdatedSep 25, 2024 -
-
snekmate Public
Forked from pcaversaccio/snekmateState-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
Solidity GNU Affero General Public License v3.0 UpdatedJun 24, 2024 -
-
multicaller Public
Forked from Vectorized/multicallerEfficient multicaller contracts
-
sound-protocol Public
Forked from soundxyz/sound-protocol -
halmos-solady Public
Forked from zobront/halmos-soladyFormally verifying consistency between Solmate and Solady using Halmos
-
ERC721A Public
Forked from chiru-labs/ERC721Ahttps://ERC721A.org
-
helios Public
Forked from a16z/heliosA fast, secure, and portable light client for Ethereum
-
openzeppelin-contracts Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.
-
solmate Public
Forked from transmissions11/solmateModern, opinionated, and gas optimized building blocks for smart contract development.
-
verified-smart-contracts Public
Forked from runtimeverification/verified-smart-contractsSmart contracts which are formally verified
-
-
michelson-semantics Public
Forked from runtimeverification/michelson-semanticsA K semantics of Tezos' Michelson language.
-
beacon-chain-verification Public
Forked from runtimeverification/beacon-chain-verification -
yield-daddy Public
Forked from timeless-fi/yield-daddyERC-4626 wrappers for common yield-generating platforms
-
revenue-distribution-token Public
Forked from maple-labs/revenue-distribution-tokenToken to distribute aggregated vested earnings of any underlying token using the ERC-4626 standard.
-
rv-publications Public
Forked from runtimeverification/publicationsPublications of Runtime Verification, Inc.
1 UpdatedOct 26, 2022 -
deposit-contract-verification Public
Forked from runtimeverification/deposit-contract-verification -
beacon-chain-spec Public
Forked from runtimeverification/beacon-chain-specFormalization of the Beacon Chain Phase 0 Specification in K
-
erc777-semantics Public
Forked from runtimeverification/erc777-semantics -
verisol Public
Forked from microsoft/verisolA formal verifier and analysis tool for Solidity Smart Contracts
-
vyper-semantics Public
Forked from kframework/vyper-semanticsKVyper: Semantics of Vyper in K
-
npi Public
Artifact for the paper "Invariant Synthesis for Incomplete Verification Engines" in TACAS'18
-
javascript-semantics Public
Forked from kframework/javascript-semanticsKJS: A Complete Formal Semantics of JavaScript
-
java-semantics Public
Forked from kframework/java-semanticsThe semantics of Java in K