2 search results for "author:"Tom Ridge <tom.j.ridge@googlemail.com>""

Showing 1 - 2
  1. 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
  2. tjr_simple_earley
    Documentation
    An implementation of an Earley-like algorithm, designed for simplicity.
    Tom Ridge <tom.j.ridge@googlemail.com>
    2017-11-14e
    Used by 0 other packages
    16 Nov 2017