snf

snf's Stars

• abi/screenshot-to-code

  Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

  Language:Python66.6k3973548.1k

• explosion/spaCy

  💫 Industrial-strength Natural Language Processing (NLP) in Python

  Language:Python30.6k5625.7k4.4k

• SunWeb3Sec/DeFiHackLabs

  Reproduce DeFi hacked incidents using Foundry.

  Language:Solidity5.4k137391.2k

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k109166167

• sekey/sekey

  Use Touch ID / Secure Enclave for SSH Authentication!

  Language:Rust2.5k454180

• thepowersgang/mrustc

  Alternative rust compiler (re-implementation)

  Language:C++2.2k45199114

• pcaversaccio/reentrancy-attacks

  A chronological and (hopefully) complete list of reentrancy attacks to date.

  1.4k5914151

• fuzzland/ityfuzz

  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

  Language:Rust89714187142

• trailofbits/deepstate

  A unit test-like interface for fuzzing and symbolic execution

  Language:Python8255724399

• microsoft/com-rs

  A Rust crate for creating and consuming COM APIs

  Language:Rust599319355

• sdroege/async-tungstenite

  Async binding for Tungstenite, the Lightweight stream-based WebSocket implementation

  Language:Rust40785965

• leonardoalt/ethereum_formal_verification_overview

  Overview of the formal verification projects in the Ethereum ecosystem.

  32420535

• nevillegrech/gigahorse-toolchain

  A binary lifter and analysis framework for Ethereum smart contracts

  Language:HTML316173963

• zamazan4ik/awesome-pgo

  Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

  30613610

• holiman/goevmlab

  Evm laboratory

  Language:Go25464248

• NomicFoundation/slang

  Solidity compiler tooling by @NomicFoundation

  Language:Rust244727620

• plotchy/evm-cfg

  Symbolic stack CFG generator for EVM

  Language:Rust1803714

• lidofinance/diffyscan

  Diff your Github against Etherscan.

  Language:Python13518917

• SchrodingerZhu/snmalloc-rs

  rust bindings of snmalloc

  Language:Rust12382216

• starkat99/widestring-rs

  A wide string Rust library for converting to and from wide-character strings, including UTF-16 and UTF-32 encoding.

  Language:Rust8352825

• Zellic/Masamune

  A smart contract security search utility

  Language:JavaScript698713

• Rantanen/intercom

  Object based cross-language FFI for Rust

  Language:Rust628777

• parmanuxyz/solidity-analyzer

  Solidity LSP server written in rust

  Language:Rust572120

• theredguild/devcontainer

  The Red Guild's devcontainer focused in web3 and security.

  Language:Dockerfile391624

• agustingianni/symrepl

  Symbol REPL

  Language:Python31201

• ntrippar/ssh-agent

  rust ssh agent library

  Language:Rust16304

• inkscopexyz/inkscope-fuzzer

  Polkadot ink! fuzzer

  Language:Rust3002

• dgrah50/gyst

  A productivity note-taking Chrome extension.

  Language:TypeScript2200

• lcfr-eth/defihacks

  Language:Solidity2100

• tjsharp1/jitevm

  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to contribute / productionize.

  Language:Rust2100