jf-li00

jf-li00's Stars

• lukasz-madon/awesome-remote-job

  A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python

  35.8k1.1k714k

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust34.1k845.8k1.1k

• prefix-dev/pixi

  Package management made easy

  Language:Rust3.6k221.1k206

• rust-in-blockchain/awesome-blockchain-rust

  Collect libraries and packages about blockchain/cryptography in Rust

  2.4k595250

• trailofbits/publications

  Publications from Trail of Bits

  Language:Python1.5k14111185

• noir-lang/noir

  Noir is a domain specific language for zero knowledge proofs

  Language:Rust931192.5k219

• disclose/bug-bounty-platforms

  A community-powered collection of all known bug bounty platforms, vulnerability disclosure platforms, and crowdsourced security platforms currently active on the Internet.

  647232148

• 0xPolygonMiden/miden-vm

  STARK-based virtual machine

  Language:Rust63424513167

• vbpf/ebpf-verifier

  eBPF verifier based on abstract interpretation

  Language:C++3941420444

• nimble-code/Spin

  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

  Language:C3761957132

• vishpat/lisp-rs

  Language:Rust2674427

• Ackee-Blockchain/wake

  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

  Language:Python263912931

• moondance-labs/tanssi

  Language:Rust2551110052

• FuzzingLabs/thoth

  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

  Language:Python24947221

• Philogy/balls

  A DSL for generating optimal EVM bytecode

  Language:Rust186587

• helius-labs/solana-awesome

  The "Solana-Awesome" repository serves as a comprehensive, factual resource hub for anyone interested in learning about the Solana blockchain and its underlying technology. It is meticulously curated to include a wide array of informative materials such as articles, videos, and Twitter threads, as well as insightful blog posts.

  1706027

• MetaTrustLabs/falcon-metatrust

  Metatrust fork of Slither Analyzer

  Language:Solidity8810022

• zhenv5/breaking_cycles_in_noisy_hierarchies

  breaking cycles in noisy hierarchies

  Language:Python752223

• albertocasagrande/pyModelChecking

  A Python model checking package

  Language:Python645711

• GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification

  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

  574201

• ecnusse/Kea

  Property-based Testing for Mobile GUI Apps

  Language:Python46205

• twolodzko/prolog-rs

  Minimal Prolog implemented in Rust

  Language:Rust43101

• CoinFabrik/CyScout

  This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. By leveraging the foundational work done by the CodeQL team for Ruby, we have adapted and expanded their approach to create a powerful toolset for analyzing Solidity code.

  Language:CodeQL352

• cairoeth/sp1-eof

  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️

  Language:Rust30101

• jtriley-eth/bigbrainchad-eth

  Language:JavaScript232

• blocksecteam/BpfChecker

  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing" accepted to CCS 2024.

  Language:C++90

• ucsb-seclab/jackal

  Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

  Language:Python7711

• scalebit/Sampled-Audit-Reports

  ScaleBit Sampled Audit Reports

  32

• 15316-cmu/15316-cmu.github.io

  Course website for 15-316

  Language:TeX2402

• wsong-nj/VarLifter

  VarLifter is a tool for recovering variables and types from bytecode of Solidity smart contracts

  Language:Python2