79 search results for "author:"David Sheets""

Showing 51 - 79
  1. osx-acl
    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
  2. osx-attr
    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
  3. osx-cf
    Documentation
    OS X CoreFoundation bindings
    David Sheets Thomas Gazagnaire
    0.1.1
    ISC
    Used by 1 other packages
    08 Aug 2016
  4. osx-fsevents
    Documentation
    OS X FSevents bindings
    David Sheets Thomas Gazagnaire
    0.2.0
    ISC
    Used by 1 other packages
    15 Aug 2016
  5. osx-membership
    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
  6. osx-mount
    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
  7. osx-plutil
    Documentation
    OS X plutil plist manipulation
    David Sheets <sheets@alum.mit.edu>
    0.5.0
    ISC
    Used by 0 other packages
    26 Dec 2015
  8. osx-xattr
    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
  9. polyglot
    Documentation
    Filters to convert XHTML into polyglot HTML5
    David Sheets
    1.0.0
    ISC
    Used by 0 other packages
    30 Aug 2015
  10. process
    Documentation
    Easy process control
    process subprocess command system
    David Sheets Jonathan Protzenko
    0.2.1
    ISC
    Used by 9 other packages
    01 Sep 2016
  11. protocol-9p
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 7 other packages
    09 Feb 2022
  12. protocol-9p-tool
    Documentation
    An implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 0 other packages
    09 Feb 2022
  13. protocol-9p-unix
    Documentation
    A Unix implementation of the 9p protocol in pure OCaml
    David Scott David Sheets Thomas Leonard Anil Madhavapeddy
    2.0.2
    ISC
    Used by 9 other packages
    09 Feb 2022
  14. publish
    Documentation
    opam-publish transition package
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu>
    0.3.4+transition
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    11 Jul 2017
  15. sibylfs
    Documentation
    formal specification and oracle-based testing for POSIX file systems
    Tom Ridge <tom.j.ridge@googlemail.com> Thomas Tuerk <tt291@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu> Andrea Giugliano <agiugliano@live.it>
    0.5.0
    Used by 0 other packages
    04 Oct 2015
  16. sodium
    Documentation
    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 2 other packages
    18 Apr 2017
  17. travis-opam
    Documentation
    Scripts for OCaml projects
    Thomas Gazagnaire Richard Mortier David Sheets Anil Madhavapeddy
    1.5.0
    Used by 0 other packages
    24 Nov 2019
  18. 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
  19. unix-errno
    Documentation
    Unix errno types, maps, and support
    errno errno.h errors unix syscall
    David Sheets <sheets@alum.mit.edu>
    0.6.2
    ISC
    Used by 15 other packages
    22 Mar 2023
  20. unix-fcntl
    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
  21. 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
  22. 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
  23. 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
  24. unix-unistd
    Documentation
    Host-independent unistd.h bindings
    David Sheets <sheets@alum.mit.edu> Jeremy Yallop <yallop@gmail.com>
    0.4.0
    ISC
    Used by 0 other packages
    18 May 2017
  25. uri
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 236 other packages
    27 Sep 2023
  26. uri-bench
    Documentation
    Benchmarking package for ocaml-uri
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  27. uri-re
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  28. uri-sexp
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 8 other packages
    27 Sep 2023
  29. vpnkit
    Documentation
    VPN-friendly networking devices for HyperKit
    Anil Madhavapeddy <anil@recoil.org> David Scott <dave.scott@docker.com> David Sheets <dsheets@docker.com> Gaetan de Villele <gdevillele@gmail.com> Ian Campbell <ian.campbell@docker.com> et al.
    0.2.0
    Used by 0 other packages
    03 Jan 2018
1 2