Bullet Proof Clothing
QuicKeys is a powerful macro program that allows you to create shortcuts to automate computer tasks. It takes the daily tasks that would normally take you five ... six ... twenty or more steps and turns them into simple one step shortcuts. Automatically insert commonly used blocks of text, move...
Platforms: Mac
License: Demo | Cost: $0.00 USD | Download (101): QuicKeys X Download |
Emnu, new menu for KDE(proof of concept) is a proof of concept I finished at aKademy. It is a new menu idea. dnd any files to the startmenu. dnd any desktop files(shortcut) to the startmenu. drop quicklauncher and panel buttons. ..... This is a idea, some codes is toke from baghira...
Platforms: *nix
License: Freeware | Size: 68.61 KB | Download (101): Emnu, new menu for KDE(proof of concept) Download |
Power Save Mac is an effective and reliable tool that can control and manage energy throughout an enterprise. Computers are essential items for business and communications, but consume large amounts of electrical resources. Energy costs can add up to millions of dollars a year, and today...
Platforms: Mac
License: Demo | Cost: $0.00 USD | Download (100): Power Save Mac Download |
Link Disguiser is a professional anti-spam solution that prevents spam bots from email address harvesting on your website. Link Disguiser provides a webmaster with a bullet-proof anti-spam protection and a powerful toolkit for quick and easy email address obfuscation. Link Disguiser allows you to...
Platforms: Windows
License: Shareware | Cost: $14.95 USD | Size: 1 MB | Download (98): Link Disguiser Download |
Bond Value Calculator makes it possible to estimate the prices of bullet and callable bonds using the arbitrage-free binomial tree of risk-free short rates model.
Platforms: Windows
License: Shareware | Cost: $19.95 USD | Size: 100 KB | Download (96): Bond Value Calculator Download |
144 Unique graphic UnitEye catching colorsNormal, Hot, Disabled statesGive a unique look to your software, projects.Contains generic bullet, shape & arrow symbols and more. Style: XP Style, Native Style 32bit PNG format 24bit BMP format 32bit ICO format 8bit transparent GIF format ICO:16x16,...
Platforms: Windows
License: Shareware | Cost: $24.00 USD | Size: 99 KB | Download (96): Object Icon Collection Download |
R2cl compiler is a minimal, proof of concept translator from the R or S language into Common Lisp. An increase in speed of over 1000 times can then be achieved using the free CMU Common Lisp native code compiler on the resulting code, making it comparable to FORTRAN, Ada or C. Installation:...
Platforms: *nix
License: Freeware | Size: 5.12 KB | Download (93): R2cl Download |
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
License: Freeware | Size: 11.2 MB | Download (92): Coq Download |
Bullet Candy is an alien-killing, action arcade game, thanks to which you can burn up adrenalin shooting at anything that moves on the screen. But be careful, you need quick fingers and you need to rescue shipwrecked people. Thus the game goes to another level, making the player concentrate on...
Platforms: Windows
License: Shareware | Cost: $0.00 USD | Size: 1024 B | Download (90): Bullet Candy Download |
TDFS stands for "Trivially distributed file system", and is a proof-of-concept implementation of distributed file system as a ("stacked") layer above normal file systems. It uses the FUSE libraries and subsystem to implement this operation in userland. NOTE:This is currently a proof-of-concept...
Platforms: *nix
License: Freeware | Size: 28.67 KB | Download (90): TDFS Download |
Calculator that produces a virtual proof tape. Entries can be annotated, edited, deleted, inserted and rows can be moved. Files can be named, saved, copied, deleted, printed and inserted into other programs + full equation and function capabilities. Sub total, data and comment rows can be added...
Platforms: Windows
License: Shareware | Cost: $25.00 USD | Size: 4.56 MB | Download (90): Calculator by Less-Mess Download |
eProof allows Mac and PC users to collaborate on the sames documents online, at the time.The new functions optimize eProof for color-critical, content and imposition proofing, checking for file integrity, predicting press results, as well as for the final contract proof.eProof is a document...
Platforms: Mac
License: Commercial | Cost: $0.00 USD | Download (90): cyan eProof Download |
Discipline employees and monitor actions of advanced computer users with REFOG Personal Monitor. The PC monitoring tool intercepts and logs keystrokes, cut-and-paste operations, records launched applications and Web sites visited by your employees or family members. Instant alerts by email when...
Platforms: Windows, Mac, Windows 8, Windows 7, Windows Server
License: Shareware | Cost: $69.95 USD | Size: 9.23 MB | Download (88): REFOG Personal Monitor Download |
HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...
Platforms: *nix
License: Freeware | Size: 4.9 MB | Download (88): HOL Download |
Invasores project was first designed as a proof of concept of which language would be faster to develop games..
Platforms: *nix
License: Freeware | Size: 286.72 KB | Download (87): Invasores 0.9 Beta Download |
3DPageFlip Free Online Catalog Maker is a free and utility program that makes it easier for digital publishers to turn static business catalog into actional online gift catalog, online clothing catalog and so forth with flipping page effect. Without any flash programming skills, you can make...
Platforms: Windows
License: Freeware | Size: 8.92 MB | Download (78): 3DPageFlip Free Online Catalog Maker Download |
Software for teaching and learning mathematical proofs
Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Platforms: Windows, Mac, BSD, Linux
License: Freeware | Size: 18.49 KB | Download (72): Lurch Download |
Grammarly is an automated proofreading and grammar checking tool. Grammarly uses world's most accurate grammar checking technology to find mistakes in your writing and then provides straight-to-the-point explanations and suggestions for improvement. With Grammarly, you not only will be protected...
Platforms: Windows
License: Freeware | Size: 1.01 MB | Download (71): Grammarly Grammar Checker for MS Office Download |
Clothing Store Invoice Template is ideal for those running clothing retailing shop or store business. On the heading section, the first section is for your own store or shop information, including a default LOGO image, your clothing store name, address, city state and zip, and web site or contact...
Platforms: Windows
License: Freeware | Size: 37.72 KB | Download (70): Clothing Store Invoice Template Download |
Should you sell new or second hand clothes on ebay, etsy, or any other selling webstore, isosize helps you to provide detailed information regarding clothes measurements to increase trust on size.
With isosize tags, you may also share your clothes items through social media like facebook,...
Platforms: Windows, Mac, *nix, Windows 8, Windows 7, Windows Server, iOS, Android, iPhone,iPad
License: Freeware | Size: 33 KB | Download (64): isosize clothing size widget Download |