Faves: derek

Google Open Source Blog: Develop with Git on a Google Code Project

derek — Tue, 20 May 2008 19:39:19 GMT

BisectExtension - Mercurial

derek — Thu, 15 May 2008 17:54:03 GMT

Beautiful, have done this manually more than once, a bit cleaner this way :)

Quoted: This extension (hbisect) eases looking for bugs by doing a binary search in O(log(n)). It adds the bisect command.

Comment at Faves | View original page

Wireshark: Wireshark 1.0 Released

derek — Mon, 31 Mar 2008 04:12:52 GMT

Ethereal ... ok, Wireshark ... hits 1.0. Pretty sure I've been using this since I was in grade school, not exactly sure how it's only hitting 1.0 now.

Comment at Faves | View original page

|MG| WinMover 3.2.0.6

derek — Tue, 26 Feb 2008 18:40:23 GMT

taekwindow alternative.

Quoted: ... Download freeware and shareware software utilities. Download files for your computer that tweak, repair, enhance, protect ...

Comment at Faves | View original page

JavaScript Shell 1.4

derek — Thu, 27 Dec 2007 22:40:27 GMT

Faves Comments: 1 | View original page

Stanley® FatMax® Xtreme(TM) FuBar® Utility Bar © 2007 The Stanley Works: The ultimate demolition tool. Let the fun begin.

derek — Tue, 04 Dec 2007 00:54:59 GMT

LOL, wow ... gutsiest product name I've seen in a while.

Quoted: The official site of the FatMax® Xtreme(TM) FuBar® Utility Bar © 2007 The Stanley Works: The ultimate forged one-piece steel demolition tool. Includes videos, product information and the opportunity to FuBar® your own images and send them to friends.

Faves Comments: 3 | View original page

Inkscape. Draw Freely.

derek — Mon, 29 Oct 2007 18:04:48 GMT

Quoted: Inkscape is a Vector Graphics Editor, similar to Adobe Illustrator, that strives to be SVG Compliant, open source, responsive and extensible.

Comment at Faves | View original page

svn-time-lapse-view - Google Code

derek — Fri, 19 Oct 2007 17:19:57 GMT

svn blame ++

Quoted: SVN Time-Lapse View is a cross-platform viewer that downloads all revisions of a file and lets you scroll through them by dragging a slider. As you scroll, you are shown a visual diff of the current revision and the previous revision. Thus you can see how a file evolved, and you can easily find the revision at which lines appeared, disappeared, or changed.

Comment at Faves | View original page

SourceForge.net: devAdvantage & devMetrics

derek — Thu, 26 Jul 2007 15:43:16 GMT

Quoted: devAdvantage: an automated code review tool that analyzes .NET C# code looking for bugs and issues with the unique ability to fix the problems found. ...

Faves Comments: 3 | View original page

Spec# - Home

derek — Tue, 10 Jul 2007 19:13:58 GMT

Quoted: * The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and postconditions as well as object invariants.
* The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
* The Spec# static program verifier. This component (codenamed Boogie) generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.
A unique feature of the Spec# programming system is its guarantee of maintaining invariants in object-oriented programs in the presence of callbacks, threads, and inter-object relationships.

Comment at Faves | View original page