VirtualTam's bookmarks

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

  2. 2016-07-04

    Step-by-step Git tour with practical examples/exercises

    https://github.com/edgecase/git_immersion

  3. Git repository browser providing several colourful views:

    • file tree w/ revisions
    • different kinds of log
    • blame - when highlighting a line, displays the corresponding diff in a side pane

    see http://jonas.nitro.dk/tig/manual.html

  4. 2015-11-29