13 search results for "tag:"time""

Showing 1 - 13
  1. calendar

    No 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. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 4 other packages
    Added to opam-repository
  3. mtime
    Documentation
    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.2.0
    ISC
    Used by 62 other packages
    Added to opam-repository
  4. ocamlsdl2
    Documentation
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    Zlib OR any-OSI
    Used by 2 other packages
    Added to opam-repository
  5. ocamlsdl2-image
    Documentation
    Interface to the SDL2_image library
    bindings graphics image loader multimedia cross-platform
    Florent Monnier David Cadé Piotr Mardziel
    0.01
    restrictionless Zlib
    Used by 0 other packages
    Added to opam-repository
  6. ocamlsdl2-ttf
    Documentation
    Interface to the SDL2_ttf library
    bindings graphics font ttf multimedia cross-platform
    Florent Monnier David Cadé
    0.02
    restrictionless Zlib
    Used by 0 other packages
    Added to opam-repository
  7. otp
    Documentation
    Time-base One Time Password (OTP) based on RFC6238 with an HMAC-SHA1 algorithm and a 6 digits code in OCAML
    OTP TOTP HMAC-SHA1 One Time Password
    Heyji2 <heyji2@github.com>
    0.3
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  8. ptime
    Documentation
    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.2.0
    ISC
    Used by 125 other packages
    Added to opam-repository
  9. 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
  10. rizzo
    Documentation
    FRP library implementation of Rizzo
    FRP space leaks time leaks signals channels functional reactive programming
    Patrick Matthiesen tjobi
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. sfml
    Documentation
    Bindings to the SFML multimedia library
    bindings graphics audio multimedia gamedev opengl network
    Florent Monnier Sylvain Boilard
    0.09.2
    zlib-acknowledgement
    Used by 0 other packages
    Added to opam-repository
  12. trace-runtime-events
    Documentation
    A simple collector relying on runtime-events for OCaml 5. Some assembly required
    trace tracing trace runtime-events
    Simon Cruanes
    0.12
    MIT
    Used by 0 other packages
    Added to opam-repository
  13. unix-time
    Documentation
    Unix time.h types, maps, and support
    unix posix time.h tm timespec
    David Sheets
    0.1.0
    ISC
    Used by 1 other packages
    Added to opam-repository