32 search results for "tag:"os""

  1. bos
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 82 other packages
    Last published 06 Oct 2021
  2. enumerators
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 07 Nov 2016
  3. geojson
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  4. geojsone
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  5. libzipperposition
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    Last published 05 Sep 2021
  6. moss
    A client for the MOSS plagiarism detection service
    MOSS
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1.1
    ISC
    Used by 0 other packages
    Last published 19 Mar 2019
  7. ocamlsdl2
    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
    Last published 31 Dec 2020
  8. ocamlsdl2-image
    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
    Last published 31 Dec 2020
  9. ocamlsdl2-ttf
    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
    Last published 31 Dec 2020
  10. openstellina
    A http client for Stellina smart telescope by Vaonis
    Vaonis Stellina long-exposure GUI
    Jonathan Kimmitt
    0.0.3
    Apache-2.0
    Used by 0 other packages
    Last published 11 Apr 2022
  11. osx-acl
    OS X POSIX.1e file system access control list (ACL) bindings
    osx acl file system POSIX.1e security
    David Sheets
    0.1.0
    ISC
    Used by 0 other packages
    Last published 23 Oct 2016
  12. osx-attr
    OS X generic file system attribute system call bindings
    osx attr attributes getattrlist setattrlist file system
    David Sheets Jeremy Yallop
    0.3.0
    ISC
    Used by 0 other packages
    Last published 05 Aug 2016
  13. osx-membership
    OS X membership.h bindings for user, group, and UUID translation
    osx membership uid gid guid uuid opendirectoryd
    David Sheets
    0.1.0
    ISC
    Used by 1 other packages
    Last published 23 Oct 2016
  14. osx-mount
    Bindings to OS X mount system calls
    osx mount mountpoint mtab mount table file system
    David Sheets
    0.1.1
    ISC
    Used by 0 other packages
    Last published 04 Aug 2016
  15. osx-xattr
    OS X extended attribute system call bindings
    osx xattr extended attributes file system
    David Sheets Jeremy Yallop
    0.3.0
    ISC
    Used by 0 other packages
    Last published 16 Jun 2016
  16. pkcs11
    PKCS#11 OCaml types
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 27 Aug 2021
  17. pkcs11-cli
    Cmdliner arguments to initialize a PKCS#11 session
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 27 Aug 2021
  18. pkcs11-driver
    Bindings to the PKCS#11 cryptographic API
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 27 Aug 2021
  19. pkcs11-rev
    Reverse bindings to pkcs11
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 27 Aug 2021
  20. ppx_enum
    PPX to derive enum-like modules from variant type definitions
    org:cryptosense
    James Owen <jamesowen@outlook.com>
    0.0.2
    BSD-2-Clause
    Used by 0 other packages
    Last published 14 Jun 2019
  21. ppx_factory
    PPX to derive factories and default values
    org:cryptosense
    Cryptosense <opensource@cryptosense.com> Nathan Rebours <nathan.p.rebours@gmail.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 10 Nov 2020
  22. ptime
    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.1.0
    ISC
    Used by 87 other packages
    Last published 05 Dec 2022
  23. qbf
    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    Last published 13 Jan 2021
  24. records
    Records
    org:cryptosense
    Etienne Millon <etienne@cryptosense.com>
    0.8.0
    BSD-2-Clause
    Used by 1 other packages
    Last published 03 Jan 2017
  25. stitch
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 19 Feb 2019
  26. unix-dirent
    ocaml-unix-dirent provides access to the features exposed in dirent.h
    unix posix dirent syscall readdir
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    Last published 22 Jan 2017
  27. unix-fcntl
    Unix fcntl.h types, maps, and support
    unix posix fcntl syscall open
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    Last published 22 Jan 2017
  28. unix-sys-resource
    Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)
    unix posix sys/resource.h getrlimit setrlimit rlimit
    David Sheets
    0.1.2
    ISC
    Used by 0 other packages
    Last published 04 Jun 2016
  29. unix-sys-stat
    ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h
    unix posix sys/stat.h syscall stat
    David Sheets Jeremy Yallop
    0.5.2
    ISC
    Used by 0 other packages
    Last published 22 Jan 2017
  30. unix-time
    Unix time.h types, maps, and support
    unix posix time.h tm timespec
    David Sheets
    0.1.0
    ISC
    Used by 1 other packages
    Last published 18 May 2016
  31. zipperposition
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 05 Sep 2021
  32. zxcvbn
    Bindings for the zxcvbn password strength estimation library
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    Last published 02 Sep 2020