* MakeCloud simplifies adding a cloud to any web page. Give it an RSS feed, and it makes a link cloud that summarizes the contents of the feed, and provides code to embded the cloud * FeedMarklet instantly creates an RSS feed and a browser button. You click the browser button to add whatever page you are currently reading to the feed. It is faster and easier to save links, because you do not have to interupt your browsing flow to go to a different website, and it automatically extracts information to save you the effort of entering it manually. * Video Lecture Database is a collection of links to streaming video lectures on subjects ranging from quantum mechanics to literature. The lectures are tagged. * The WizzardWiki is a power user's wiki- no stripped down markup here, just raw HTML, with real-time previews. * Hebbalicious is an experimental link cloud. Links get bigger when clicked, and anyone can submit a link. The cloud sorts out the rest.
Mingle helps you manage agile projects in a powerfully simple way. Take a closer look at Mingle and some of the features it provides you and your team.
Collection of video codecs for AVI (VfW and DirectShow), QuickTime arranged by FourCC (for example, avc1, wmv3, div4, dx50, div3, h264, flv1). Links to software (codecs, decoders, coders, encoders) for AVI, MOV, WMV/ASF, MPEG2/AC3, MPEG4/AAC.
AgdaLight is a version of the Agda proof checker. It is much more volatile than Agda and it's main purpose is to serve as a test platform for cool new extensions that are too experimental to make it into the real system. Be warned that AgdaLight is an experimental system, features may disappear and the syntax may change without any notice. Features * Datatypes. * Definitions by pattern matching. * Implicit arguments. * First-order logic plugin. * QuickCheck plugin. * Inductive families. * Signatures and structures (+signature subtyping). * Command line interface. * Pattern completeness checking. * LaTeX compiler (great for writing papers). Not in AgdaLight * Termination checking. * Fancy emacs interface. * Module system.