11 search results for "tag:"time""

Showing 1 - 11
  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 20 other packages
    12 Oct 2022
  2. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 2 other packages
    08 Dec 2025
  3. mtime

    No documentation

    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.1.0
    ISC
    Used by 59 other packages
    11 Sep 2024
  4. ocamlsdl2

    No 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
    31 Dec 2020
  5. ocamlsdl2-image

    No 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
    31 Dec 2020
  6. ocamlsdl2-ttf

    No 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
    31 Dec 2020
  7. otp

    No 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.2.2
    GPL-3.0-only
    Used by 0 other packages
    01 Dec 2025
  8. ptime

    No documentation

    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.2.0
    ISC
    Used by 113 other packages
    11 Sep 2024
  9. rizzo

    No 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
    06 Jan 2026
  10. 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
    06 Aug 2022
  11. 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
    18 May 2016