matteblair/library-of-babel
A web application for accessing everything ever written and everything never written.
Discovered public repositories for matteblair in the GitHub catalog.
A web application for accessing everything ever written and everything never written.
A new parser for the LTLMoP toolkit using a context-free grammar with semantic features
A toolkit for designing and implementing LTL-based task specifications