March 2006
ALL THE BOOKMARKLETS!
by ycc2106All the bookmarklets I have crossed are listed here! Hope this can be usefull to everybody.
blummy -- The bookmarklet management bookmarklet.
by fleuree & 46 othersblummy is a free tool for quick access to your favorite web services via your bookmark toolbar.
February 2006
Cloudalicious - Watching Tag Clouds Over Time
by rickdog & 3 othersCloudalicious - Watching Tag Clouds Over Time
January 2006
Integrating Bloglines and del.icio.us [persistent.info]
by rickdog & 9 otherschanges Bloglines "Clip/Blog" this to "Post to del.icio.us".
Why: a software verification tool
by GeorgesMarianoWhy aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for
December 2005
November 2005
October 2005
Quick Online Tips: Absolutely Del.icio.us - Complete Tool Collection
by fox_b & 113 others (via)>このリンクの先には、del.icio.usAPIを利用して作られた数々の市民プログラマーによるサービスがリスティングされているが、一度ご覧頂くとその数に驚く事だろう。