← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

halmos

github.com

A symbolic testing tool for EVM smart contracts

Open source

Visit github.comexternal siteGitHub1,043 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. SolidityScan

    The ultimate EVM compatible smart contract analysis tool

    solidityscan.comlatest reaction

    Product Hunt
    195 votes
    GitHub
    No reaction

  2. contract-fuzzer

    Ethereum smart contract fuzzer

    github.comOpen sourcelatest reaction

    Product Hunt
    No reaction
    GitHub
    1,413 stars

  3. rtp-llm

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

    github.comOpen sourcelatest reaction

    Product Hunt
    No reaction
    GitHub
    1,394 stars

  4. Contractable

    Free contracts in seconds

    contractable.ailatest reaction

    Product Hunt
    112 votes
    GitHub
    No reaction

  5. Sendforsign

    Making digital contracts frictionless

    sendforsign.comlatest reaction

    Product Hunt
    431 votes
    GitHub
    No reaction