4 search results for "tag:"date""

Showing 1 - 4
  1. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    Added to opam-repository
  2. calendars
    Documentation
    Convert dates between gregorian/julian/french/hebrew/islamic calendars
    moon-phase gregorian julian hebrew islamic french-republican calendar date
    Daniel de Rauglaudre
    2.0.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  3. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 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