16 search results for "author:"David Sheets <sheets@alum.mit.edu>""

  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. doc-ock-xml
    XML printer and parser for Doc-Ock
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  9. odoc
    OCaml documentation generator
  10. opam-publish
    A tool to ease contributions to opam repositories
    2.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 14 Dec 2022
  11. osx-plutil
    OS X plutil plist manipulation
    0.5.0
    ISC
    Used by 0 other packages
    Last published 26 Dec 2015
  12. publish
    opam-publish transition package
    0.3.4+transition
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 11 Jul 2017
  13. sibylfs
    formal specification and oracle-based testing for POSIX file systems
  14. sodium
    Binding to libsodium UNAUDITED
  15. unix-errno
    Unix errno types, maps, and support
    0.6.2
    ISC
    Used by 15 other packages
    Last published 22 Mar 2023
  16. unix-unistd
    Host-independent unistd.h bindings
    0.4.0
    ISC
    Used by 0 other packages
    Last published 18 May 2017