Sl

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.

Different Sony Xperia T LTE, optimization, and dozens of video and audio conversion solutions to fit all your audio and video conversion needs. You can also create your own conversion solution needed. One-click, you can complete any audio and video format conversion, and direct import Sony Xperia...

SL Directory Printer is a application enables users to print or export as a file a list of directories, sudirectories and/or files. Program can sort by name, type, extension, date created, date last modified, date of last access or attributes. SL Directory Printer filters output using file/folder...


Platforms: Windows, Other

Image Components for Silverlight, is a comprehensive Silverlight Imaging SDK. It allows users to read and edit the most common image file types, and convert between them.It also allows image annotation, OCR content by zone, selection or full page, read the most commun barcode types, image pages...


Platforms: Windows

Quick Locale Switcher will allow you to quickly change and apply a different locale from the tools menu. Features: * Handy tool for all people involved with multilingual usage of Mozilla applications. * Switches the Mozilla User Interface language (general.useragent.locale preference) *...


Platforms: Windows

All 3 Calculators for less that the price of 2 All Calculators feature tape that can be saved, edited, run and beamed to another PDA. tApCalc Finance -Time Value of Money (PV, FV, PMT, I, n, Amortization)SL, SYD, DB methods of Depreciation -Discounted Cash Flow (NPV and IRR) -Bond Price and...


Platforms: Windows

Showlister is a really simple content management system (CMS) framework for bands, public speakers, performers, entertainers, or anyone else who needs to maintain a performance calendar online. If you are interested in posting your important dates online, Showlister makes it simple. Light and...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Smartlaunch online status is a module that communicates with your SL server and shows your gamecenter's activity to your customers.You can define a lot of parameters such as texts and styling.


Platforms: PHP

SoundConverter is a Cocoa OSX application for converting sound files between different sound formats. It is free for files under 500K and $10 for license. Note that not all wav and wma encodings are supported. Input formats: 4xm, 8svx, ac3, aif, aifc, aiff, al, au, auto, avi, avr, cdr, cvs,...


Platforms: Mac

tApCalc Finance is a handy financial calculator for Pocket PC. It provides a simulated paper tape that allows users to record calculations and save them for future reference. Paper tape simulation has many advantages. You can start a calculation and continue adding new calculations till you have...


Platforms: Windows

Many modern satellite and cable receivers offer the ability to record television and radio programs by a so called PVR function. Such recordings are stored usually in the transport stream format (ts) or in a kindred format. Unfortunately, such recordings often contain errors or...


Platforms: Windows

MOVED: Go on http://slbh.sourceforge.net for the new release!


Platforms: Windows, Mac, Linux

This is the demo file for video demo:http://www.mathworks.com/products/demos/sl...tor-video-demo/and "Seth on Simulink" blog post "PID Control Made Easy":http://blogs.mathworks.com/seth/The demo shows the new PID Controller block in Simulink and new PID Tuner in Simulink Control...


Platforms: Matlab

Let's play fruit machine! If you like slot machines you will love this one. Spin the wheels and get your prize! Win as many BARs as you can to bet in the upper machine and hit the Jackpot! Do you think you are lucky today? Go on then! Sl


Platforms: Mac

tApCalc Financial is a handy financial calculator for Palm. It contains 25 most commonly used financial function keys as found in electronic calculators like HP-12C. These can be used to calculate Time Value of Money, Discounted Cash Flow, Depreciation, Bond Price/YTM calculation. tApCalc Finance...


Platforms: Palm,OS

It's getting hot in the Kitchen! Can you take the heat? If you like Sudoku, Crosswords, or other brain teasers, and can count to five, you're going to love Cafe Five! The challenge is to create the perfect sandwich platter by sl


Platforms: Mac

Enable the insertion of LaTeX formula in your post.Just type (for instance) [latex]displaystyle f_{rec} = frac{c+v_{mobile}}{c} f_{em}[/latex] in your post to show the LaTeX formula.You can configure: the style of the image displayed, the color of the background of the image, the color of the...


Platforms: PHP

Add social links such as Twitter or Facebook at the bottom of every post.You can choose the buttons to be displayed. Install : Upload this folder to your plugin directory (for instance '/wp-content/plugins/') Activate the plugin through the 'Plugins' menu in WordPress Navigate to the 'SL...


Platforms: PHP

Adds a link to your second life location via slurl. It makes it easy to add a location based on Second Life's coordinate system. Installation :This section describes how to install the plugin and get it working.e.g. 1. Upload sl-tp-widget.php to the /wp-content/plugins/ directory 2. Activate the...


Platforms: PHP

This plugin puts a search form and an interactive Google map on your site so you can show visitors your store locactions. Users search for stores within a specified radius, enter your address, or select a city or country from the pulldown. Full admin panel data entry and management of stores from...


Platforms: PHP