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

  1. atd
    Parser for the ATD data format description language
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 10 other packages
    Last published 13 Feb 2023
  2. atdgen
    Generates efficient JSON serializers, deserializers and validators
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 26 other packages
    Last published 13 Feb 2023
  3. atdgen-codec-runtime
    Runtime for atdgen generated bucklescript converters
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 1 other packages
    Last published 13 Feb 2023
  4. atdgen-runtime
    Runtime library for code generated by atdgen
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 5 other packages
    Last published 13 Feb 2023
  5. atdpy
    Python/mypy code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  6. atds
    ATD Code generator for Scala
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  7. atdts
    TypeScript code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
    2.11.0
    MIT
    Used by 1 other packages
    Last published 13 Feb 2023
  8. cf
    OCaml bindings to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 2 other packages
    Last published 05 Apr 2022
  9. cf-lwt
    Lwt interface to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 2 other packages
    Last published 05 Apr 2022
  10. cohttp
    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 81 other packages
    Last published 15 Nov 2022
  11. cohttp-async
    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 19 other packages
    Last published 15 Nov 2022
  12. cohttp-curl
    Shared code between the individual cohttp-curl clients
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 2 other packages
    Last published 15 Nov 2022
  13. cohttp-curl-async
    Cohttp client using Curl & Async as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 0 other packages
    Last published 15 Nov 2022
  14. cohttp-curl-lwt
    Cohttp client using Curl & Lwt as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 0 other packages
    Last published 15 Nov 2022
  15. cohttp-eio
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 0 other packages
    Last published 15 Nov 2022
  16. cohttp-lwt
    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 45 other packages
    Last published 15 Nov 2022
  17. cohttp-lwt-jsoo
    CoHTTP implementation for the Js_of_ocaml JavaScript compiler
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 3 other packages
    Last published 15 Nov 2022
  18. cohttp-lwt-unix
    CoHTTP implementation for Unix and Windows using Lwt
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 84 other packages
    Last published 15 Nov 2022
  19. cohttp-lwt-unix-nossl
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray
    3.0.0
    ISC
    Used by 2 other packages
    Last published 06 Nov 2020
  20. cohttp-lwt-unix-ssl
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray
    3.0.0
    ISC
    Used by 0 other packages
    Last published 06 Nov 2020
  21. cohttp-mirage
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 2 other packages
    Last published 15 Nov 2022
  22. cohttp-server-lwt-unix
    Lightweight Cohttp + Lwt based HTTP server
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 0 other packages
    Last published 15 Nov 2022
  23. cohttp-top
    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 0 other packages
    Last published 15 Nov 2022
  24. cow
    Caml on the Web
    org:mirage org:xapi-project www html xml css json markdown
    Anil Madhavapeddy Thomas Gazagnaire David Sheets Rudi Grinberg Timothy Bourke
    2.4.0
    ISC
    Used by 6 other packages
    Last published 13 Mar 2019
  25. ctypes-build
    Support for building Ctypes bindings.
    Jeremy Yallop David Sheets
    0.0.2
    MIT
    Used by 2 other packages
    Last published 04 Aug 2016
  26. dns-async
    DNS implementation using the Async concurrency framework
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 0 other packages
    Last published 15 Jul 2019
  27. dns-lwt
    DNS implementation in portable Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 3 other packages
    Last published 15 Jul 2019
  28. dns-lwt-unix
    DNS implementation for Unix and Windows using Lwt_unix
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 0 other packages
    Last published 15 Jul 2019
  29. doc-ock-xml
    XML printer and parser for Doc-Ock
    doc xml ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu>
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  30. fd-send-recv
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Last published 07 Dec 2022
  31. fsevents
    OCaml bindings to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    Last published 30 Apr 2021
  32. fsevents-lwt
    Lwt interface to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    Last published 30 Apr 2021
  33. github
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 6 other packages
    Last published 27 Jan 2022
  34. github-data
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 1 other packages
    Last published 27 Jan 2022
  35. github-hooks
    GitHub API web hook listener library
    git github
    David Sheets Thomas Gazagnaire
    0.5.0
    Used by 1 other packages
    Last published 21 Aug 2019
  36. github-hooks-unix
    GitHub API web hook listener library using unix functions
    git github
    David Sheets Thomas Gazagnaire
    0.5.0
    Used by 2 other packages
    Last published 21 Aug 2019
  37. github-jsoo
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 0 other packages
    Last published 27 Jan 2022
  38. github-unix
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 5 other packages
    Last published 27 Jan 2022
  39. http
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray Anurag Soni
    6.0.0~alpha0
    ISC
    Used by 10 other packages
    Last published 15 Nov 2022
  40. ipaddr
    A library for manipulation of IP (and MAC) address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 85 other packages
    Last published 15 Mar 2023
  41. ipaddr-cstruct
    A library for manipulation of IP address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 2 other packages
    Last published 15 Mar 2023
  42. ipaddr-sexp
    A library for manipulation of IP address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 8 other packages
    Last published 15 Mar 2023
  43. macaddr
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 22 other packages
    Last published 15 Mar 2023
  44. macaddr-cstruct
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 2 other packages
    Last published 15 Mar 2023
  45. macaddr-sexp
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 3 other packages
    Last published 15 Mar 2023
  46. mirage-dns
    DNS implementation for the MirageOS unikernel framework
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan
    3.1.3
    ISC
    Used by 4 other packages
    Last published 15 Jul 2019
  47. odoc
    OCaml documentation generator
    Thomas Refis <trefis@janestreet.com> David Sheets <sheets@alum.mit.edu> Leo White <leo@lpw25.net> Anton Bachin Jon Ludlam <jon@recoil.org> Jules Aguillon <juloo.dsi@gmail.com> Lubega Simon <lubegasimon73@gmail.com>
    2.2.0
    ISC
    Used by 903 other packages
    Last published 13 Dec 2022
  48. opam-publish
    A tool to ease contributions to opam repositories
    Louis Gesbert <louis.gesbert@ocamlpro.com> David Sheets <sheets@alum.mit.edu> Jeremie Dimino <jdimino@janestreet.com>
    2.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 14 Dec 2022
  49. opamfu
    Functions over OPAM Universes
    David Sheets Louis Gesbert
    0.1.4
    ISC
    Used by 1 other packages
    Last published 25 Jan 2017
  50. 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
  51. 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
  52. osx-cf
    OS X CoreFoundation bindings
    David Sheets Thomas Gazagnaire
    0.1.1
    ISC
    Used by 1 other packages
    Last published 08 Aug 2016
  53. osx-fsevents
    OS X FSevents bindings
    David Sheets Thomas Gazagnaire
    0.2.0
    ISC
    Used by 1 other packages
    Last published 15 Aug 2016
  54. 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
  55. 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
  56. osx-plutil
    OS X plutil plist manipulation
    David Sheets <sheets@alum.mit.edu>
    0.5.0
    ISC
    Used by 0 other packages
    Last published 26 Dec 2015
  57. 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
  58. polyglot
    Filters to convert XHTML into polyglot HTML5
    David Sheets
    1.0.0
    ISC
    Used by 0 other packages
    Last published 30 Aug 2015
  59. process
    Easy process control
    process subprocess command system
    David Sheets Jonathan Protzenko
    0.2.1
    ISC
    Used by 8 other packages
    Last published 01 Sep 2016
  60. protocol-9p
    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
    Last published 09 Feb 2022
  61. protocol-9p-tool
    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
    Last published 09 Feb 2022
  62. protocol-9p-unix
    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
    Last published 09 Feb 2022
  63. publish
    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
    Last published 11 Jul 2017
  64. sibylfs
    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
    Last published 04 Oct 2015
  65. sodium
    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
    Last published 18 Apr 2017
  66. travis-opam
    Scripts for OCaml projects
    Thomas Gazagnaire Richard Mortier David Sheets Anil Madhavapeddy
    1.5.0
    Used by 0 other packages
    Last published 24 Nov 2019
  67. 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
  68. unix-errno
    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
    Last published 22 Mar 2023
  69. 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
  70. 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
  71. 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
  72. 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
  73. unix-unistd
    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
    Last published 18 May 2017
  74. uri
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.2.0
    ISC
    Used by 199 other packages
    Last published 27 Apr 2021
  75. uri-re
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.2.0
    ISC
    Used by 0 other packages
    Last published 27 Apr 2021
  76. uri-sexp
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.2.0
    ISC
    Used by 7 other packages
    Last published 27 Apr 2021
  77. vpnkit
    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> Magnus Skjegstad <magnus@skjegstad.com> Mindy Preston <mindy.preston@docker.com> Sebastiaan van Stijn <github@gone.nl> Thomas Gazagnaire <thomas@gazagnaire.com> Thomas Leonard <thomas.leonard@docker.com>
    0.2.0
    Used by 0 other packages
    Last published 03 Jan 2018