6 search results for "tag:"safe""

Showing 1 - 6
  1. chatoyant
    Documentation
    OCaml-first LLM SDK with Melange-generated JavaScript
    llm ai openai anthropic xai openrouter json-schema eio melange typesafe
    Anonyfox <max@anonyfox.com>
    0.13.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. monomorphic
    Documentation
    A small library used to shadow polymorphic operators (and functions) contained in the stdlib
    polymorphic compare equal equality monomorphic unsafe safe
    Kate <kit.ty.kate@disroot.org>
    2.1.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  3. prelude
    Documentation
    OCaml library hiding stuff from the stdlib
    prelude stdlib safe exception layer hide
    pena <pena@kumikode.org>
    0.5
    AGPL-3.0-or-later
    Used by 4 other packages
    Added to opam-repository
  4. requisite
    Documentation
    Validated values, confidence gates, and per-value freshness
    validated-values trusted-types refinement-types proof-types confidence-levels trust-boundary exhaustive-matching stale-data typestate validation taint-tracking freshness ttl monotonic-time data-safety
    Stephen Olesen <slepp@slepp.ca>
    0.1.0
    MIT OR Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  5. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  6. 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