4 search results for "tag:"safe""

Showing 1 - 4
  1. 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
    01 Nov 2022
  2. 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
    04 Feb 2025
  3. 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
    17 Feb 2026
  4. 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
    09 Mar 2026