44 search results for "tag:"os""

Showing 1 - 44
  1. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 89 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  7. doctor
    Documentation
    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. enumerators
    Documentation
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  9. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. ifs-fractals
    Documentation
    IFS fractals (the Barnsley fern and friends) drawn with the chaos game
    fractals graphics chaos-game ifs
    Cédric Bonhomme <cedric@cedricbonhomme.org>
    1.1.0
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. migra
    Documentation
    A database migration tool and library for OCaml supporting PostgreSQL, MariaDB/MySQL, and SQLite
    database migrations postgresql mariadb mysql sqlite
    David Sinclair
    2.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
  18. 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
  19. 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
  20. 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
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. osx-keychain

    No documentation

    Typed OCaml bindings to the macOS Keychain
    macos keychain security password bindings
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. pkcs11
    Documentation
    PKCS#11 OCaml types
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. pkcs11-rev
    Documentation
    Reverse bindings to pkcs11
    org:cryptosense
    Cryptosense <opensource@cryptosense.com>
    1.0.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. ptime
    Documentation
    POSIX time for OCaml
    time posix system org:erratique
    The ptime programmers
    1.2.0
    ISC
    Used by 123 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. records
    Documentation
    Dynamic records
    org:cryptosense
    Cryptosense <opensource@cryptosense.com> Etienne Millon <etienne@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  35. shellwords
    Documentation
    POSIX shell command word parsing and quoting utilities
    shell shellwords posix parsing command-line argv quoting splitting string
    Daniel Fichtinger <daniel@ficd.sh>
    1.0.0
    BSD-3-CLAUSE
    Used by 0 other packages
    Added to opam-repository
  36. stitch
    Documentation
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  37. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  38. trail

    No 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
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository