The Devel!
Posts Mar 5, 2024 Null Is Maligned Mar 4, 2022 Re: REPL Mar 1, 2022 Re: Statically Typing Big Erratic JSON Mar 1, 2022 Re: The User Wizard Scenario May 16, 2021 Awkward error handling is a code smell Aug 26, 2020 Make bugs into type errors Aug 24, 2020 What does it mean by `Html Msg`? Oct 7, 2019 Code Usability Sep 12, 2019 The Elm Json Decoder "Object" May 31, 2019 Database Schema Migration Oct 2
Download YouTube & Google Video clips via bookmarklets
Save video clips from YouTube, Google Video and others hassle-free In March 2006 a digg.com frontpage story promoted KeepVid.com, a web site targeted at helping people with downloading files from popular video publishing services such as Google Video or YouTube. The service instantly appealed to many video clip aficionados, but I considered visiting the Keepvid.com website for each and every video
Bookmarklet Builder
Bookmarklet name: Rows: Help for Bookmarklet Builder Javascript code: javascript: Wrap text (Bookmarklet)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
tingelets – Bookmarklets for Web Developers
