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

Showing 1 - 17
  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.15.0
    MIT
    Used by 12 other packages
    30 Oct 2023
  2. atdd
    Documentation
    DLang 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.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  3. 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.15.0
    MIT
    Used by 31 other packages
    30 Oct 2023
  4. 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.15.0
    MIT
    Used by 1 other packages
    30 Oct 2023
  5. 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.15.0
    MIT
    Used by 8 other packages
    30 Oct 2023
  6. 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.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  7. 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.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  8. 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.15.0
    MIT
    Used by 1 other packages
    30 Oct 2023
  9. 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
  10. odoc
    Documentation
    OCaml Documentation Generator
    Anton Bachin Daniel Bünzli David Sheets <sheets@alum.mit.edu> Jon Ludlam <jon@recoil.org> Jules Aguillon <juloo.dsi@gmail.com> et al.
    2.4.3
    ISC
    Used by 1355 other packages
    14 Sep 2024
  11. 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.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    06 Aug 2024
  12. osx-plutil

    No documentation

    OS X plutil plist manipulation
    David Sheets <sheets@alum.mit.edu>
    0.5.0
    ISC
    Used by 0 other packages
    26 Dec 2015
  13. 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
  14. sibylfs

    No 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
  15. 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
  16. 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
  17. 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