clarkhenry

clarkhenry's Stars

• OpenZeppelin/openzeppelin-contracts

  OpenZeppelin Contracts is a library for secure smart contract development.

  Language:Solidity24.9k6401.9k11.8k

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.3k804.3k1.7k

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k912k889

• tomusdrw/rust-web3

  Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library. ENS address: rust-web3.eth

  Language:Rust1.5k29303470

• use-ink/ink

  Polkadot's ink! to write smart contracts.

  Language:Rust1.4k67703428

• nextcloud/bookmarks

  🔖 Bookmark app for Nextcloud

  Language:JavaScript1k86944173

• securing/SCSVS

  Smart Contract Security Verification Standard

  62121586

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50855347143

• naddison36/tx2uml

  Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.

  Language:TypeScript447103038

• rhlsthrm/typescript-solidity-dev-starter-kit

  Starter kit for smart contract development using Typescript

  Language:TypeScript4101116127

• GrapheneOS/os-issue-tracker

  Issue tracker for GrapheneOS Android Open Source Project hardening work. Standalone projects like Auditor, AttestationServer and hardened_malloc have their own dedicated trackers.

  357443.9k21

• tintinweb/smart-contract-sanctuary-ethereum

  🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

  2796361

• ethereum/emacs-solidity

  The official solidity-mode for EMACS

  Language:Emacs Lisp205284166

• pdaian/mev

  Miner extractable value modeling and tools.

  Language:Python1267942

• OpenZeppelin/contract-bots-gang

  Language:TypeScript6712731

• defi-formal/cff

  Miner extractable value modeling and tools.

  Language:Python65207