16 search results for "author:"sheets@alum.mit.edu""

  1. atd
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 10 other packages
    17 May 2023
  2. atdgen
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 26 other packages
    17 May 2023
  3. atdgen-codec-runtime
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 1 other packages
    17 May 2023
  4. atdgen-runtime
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 5 other packages
    17 May 2023
  5. atdpy
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 0 other packages
    17 May 2023
  6. atds
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 0 other packages
    17 May 2023
  7. atdts
    Documentation
    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> et al.
    2.12.0
    MIT
    Used by 1 other packages
    17 May 2023
  8. doc-ock-xml
    Documentation
    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
    07 Apr 2018
  9. odoc
    Documentation
    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> et al.
    2.2.1
    ISC
    Used by 1032 other packages
    08 Aug 2023
  10. opam-publish
    Documentation
    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
    14 Dec 2022
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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