3 search results for "tag:"random""

Showing 1 - 3
  1. odds
    Documentation
    Dice roller
    games dice random
    Raphaël Proust
    1.2
    ISC
    Used by 0 other packages
    05 Oct 2022
  2. random
    Documentation
    Easy to use, cryptographically safe random data
    random random data
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    19 Feb 2024
  3. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024