40 search results for "tag:"os""

Showing 1 - 40
  1. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 88 other packages
    06 Oct 2021
  2. camlkit

    No documentation

    Higher-level wrappers for Cocoa APIs
    objc cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 0 other packages
    05 Nov 2024
  3. camlkit-base

    No documentation

    OCaml bindings to the Objective-C runtime and some base frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 2 other packages
    05 Nov 2024
  4. camlkit-gui

    No documentation

    OCaml bindings to AppKit and other gui frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 1 other packages
    05 Nov 2024
  5. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  6. corosync
    Documentation
    OCaml Corosync binding
    corosync binding
    Shuntian Liu
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Aug 2024
  7. enumerators
    Documentation
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    07 Nov 2016
  8. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  9. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  10. hardcaml-lua
    Documentation
    A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    Verilator Surelog UHDM Verible Yosys RTLIL
    Jonathan Kimmitt
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  11. libzipperposition
    Documentation
    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
    05 Sep 2021
  12. middleware
    Documentation
    Composable stacked functions, which can respond to inner calls
    middleware composition funciton
    Trent Small <sixstring982@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    24 Jan 2024
  13. moss
    Documentation
    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
    19 Mar 2019
  14. 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
  15. 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
  16. 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
  17. openstellina
    Documentation
    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
    11 Apr 2022
  18. osx-acl

    No documentation

    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
    23 Oct 2016
  19. osx-attr

    No documentation

    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
    05 Aug 2016
  20. osx-membership

    No documentation

    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
    23 Oct 2016
  21. osx-mount

    No documentation

    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
    04 Aug 2016
  22. osx-xattr

    No documentation

    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
    16 Jun 2016
  23. pkcs11
    Documentation
    PKCS#11 OCaml types
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 3 other packages
    27 Aug 2021
  24. pkcs11-cli
    Documentation
    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
    27 Aug 2021
  25. pkcs11-driver
    Documentation
    Bindings to the PKCS#11 cryptographic API
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 1 other packages
    27 Aug 2021
  26. pkcs11-rev
    Documentation
    Reverse bindings to pkcs11
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 0 other packages
    27 Aug 2021
  27. ppx_enum
    Documentation
    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
    14 Jun 2019
  28. ppx_factory
    Documentation
    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
    10 Nov 2020
  29. ptime
    Documentation
    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.2.0
    ISC
    Used by 108 other packages
    11 Sep 2024
  30. qbf
    Documentation
    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
    13 Jan 2021
  31. records
    Documentation
    Dynamic records
    org:cryptosense
    Cryptosense <opensource@cryptosense.com> Etienne Millon <etienne@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    01 May 2023
  32. stitch
    Documentation
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    19 Feb 2019
  33. trail
    Documentation
    A minimalistic, composable web framework for building HTTP/WebSocket servers
    composable web framework http websockets ws riot multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    24 Apr 2024
  34. unix-dirent
    Documentation
    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
    22 Jan 2017
  35. unix-fcntl

    No documentation

    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
    22 Jan 2017
  36. unix-sys-resource
    Documentation
    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
    04 Jun 2016
  37. unix-sys-stat
    Documentation
    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
    22 Jan 2017
  38. 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
  39. zipperposition
    Documentation
    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
    05 Sep 2021
  40. zxcvbn
    Documentation
    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
    02 Sep 2020