← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

halmos

github.com

A symbolic testing tool for EVM smart contracts

오픈소스

github.com 방문외부 사이트GitHub1,043 스타외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. SolidityScan

    The ultimate EVM compatible smart contract analysis tool

    solidityscan.com최근 반응

    Product Hunt
    추천 195
    GitHub
    반응 없음

  2. contract-fuzzer

    Ethereum smart contract fuzzer

    github.com오픈소스최근 반응

    Product Hunt
    반응 없음
    GitHub
    스타 1,413

  3. rtp-llm

    RTP-LLM: Alibaba's high-performance LLM inference engine for diverse applications.

    github.com오픈소스최근 반응

    Product Hunt
    반응 없음
    GitHub
    스타 1,394

  4. Contractable

    Free contracts in seconds

    contractable.ai최근 반응

    Product Hunt
    추천 112
    GitHub
    반응 없음

  5. Sendforsign

    Making digital contracts frictionless

    sendforsign.com최근 반응

    Product Hunt
    추천 431
    GitHub
    반응 없음