VirtualTam's bookmarks

  1. Quickdocs 2017-02-02

    RTFD, for Lisp

  2. Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.