155 search results for "tag:"io""

Showing 151 - 155
  1. ws
    Documentation
    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    Added to opam-repository
  2. yamlx
    Documentation
    Pure-OCaml YAML 1.2/1.1 parser with a lossless, comment-preserving AST
    yaml parser serialization
    Martin Jambon <martin@mjambon.com>
    0.5.0
    AGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  3. 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
  4. zarr
    Documentation
    An Ocaml implementation of the Zarr V3 specification
    zarr chunked arrays zarr version 3
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    Added to opam-repository
  5. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
... 2 3 4