11 search results for "tag:"time""

  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 24 other packages
    12 Oct 2022
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive 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 Thibaut Benjamin et al.
    27.0~beta
    LGPL-2.1-only
    Used by 3 other packages
    17 May 2023
  3. frama-c-base
    Documentation
    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  4. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  5. mtime
    Documentation
    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.0.0
    ISC
    Used by 49 other packages
    08 Dec 2022
  6. 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
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  7. 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
    31 Dec 2020
  8. 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
    31 Dec 2020
  9. ptime
    Documentation
    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.1.0
    ISC
    Used by 91 other packages
    05 Dec 2022
  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