Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
VirtualTam's bookmarks
-
2016-08-15 -
2016-08-15 -
2016-07-04 Step-by-step Git tour with practical examples/exercises
-
2016-03-14 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
-
2016-01-14 -
2016-01-08 -
- Original sources: https://bitbucket.org/BruceEckel/python-3-patterns-idioms
- Forked sources: https://bitbucket.org/MatToufoutu/python-3-patterns-idioms/src
- ReadTheDocs Fork: http://python-3-patterns-idioms-test.readthedocs.org/en/latest/index.html
-
2016-01-04 -
2016-01-02 -
2015-11-29