2 search results for "tag:"blockchain""

Showing 1 - 2
  1. polymarket
    Documentation
    OCaml client library for the Polymarket prediction market API
    polymarket prediction-market blockchain polygon api-client trading
    Richard <rkhaut1@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. yultracer
    Documentation
    A bounded safety checker for Yul
    yul evm interpreter game-semantics safety-checker assertions verification symbolic-execution blockchain ethereum
    Yu-Yang Lin
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository