Proof
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 (100): Emnu, new menu for KDE(proof of concept) Download |
The Proof of Concept Jumpstart Kit provides resources to deploy a desktop PoC with Windows 7, Office 2010, Internet Explorer 8, and Application Virtualization with Microsoft Desktop Optimization Pack technology.
This self-contained, self-service kit will help you complete a Proof-of -Concept...
Platforms: Windows
License: Freeware | Size: 2 GB | Download (47): Proof of Concept Jumpstart Kit Download |
Reimplementation of the proof command from the Humdrum toolkit in Java
Platforms: Windows, Mac, Linux
License: Freeware | Size: 367.54 KB | Download (48): Proof Substitute for the Humdrum Toolkit Download |
ssh-smart is a really small software (a proof-of-concept) to put private identity from ssh on smartcard (memory card)). For the moment, we use the smartcard (from René Puls) program used to establish communication with the reader and the memory card. It has only been tested with the Towitoko...
Platforms: *nix
License: Freeware | Size: 133.12 KB | Download (163): ssh-smart 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 |
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 |
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 |
THC-RWWWShell is proof-of-concept Perl program for the paper "Placing Backdoors through Firewalls". It allows communicating with a shell through firewalls and proxy servers by imitating webtraffic. The master/slave relation is reversed, therefore no listening ports are used on the target...
Platforms: *nix
License: Freeware | Size: 5.12 KB | Download (123): THC-RWWWShell Download |
KBoot project is a proof-of-concept implementation of a Linux boot loader based on kexec. KBoot uses a boot loader like LILO or GRUB to load a regular Linux kernel as its first stage. Then, the full capabilities of the kernel can be used to locate and to access the kernel to be booted. KBoot...
Platforms: *nix
License: Freeware | Size: 43.01 KB | Download (276): KBoot Download |
Cibet is a handy framework designed to offer developers interfaces and classes to introduce audit - proof archiving and logging and dual control mechanisms like four-eyes principle and six-eyes principle into their applications.
The Cibet framework helps to control the execution of important...
Platforms: Windows
License: Freeware | Download (45): Cibet Download |
Probably overkill for most sitemaps, but this is a neat proof of concept that fades different d-deDUlayersd-deDt of the sitemap to different colors as they are rolled over with the mouse.
Platforms: JavaScript
License: Freeware | Size: 71.68 KB | Download (39): Fancy Colored Sitemap Download |
ViperProof enables you to show various aspects of social proof on your blog, in order to help you get more feed subscribers. You can show off the number of posts you've written, how many comments your site has, how many Twitter followers you have, and how many Facebook fans you have.There's also...
Platforms: PHP
License: Freeware | Size: 40.96 KB | Download (45): ViperProof Download |
Allow your users to proof their real identity in your blog. Your users will be able to identify in your blog using their electronic ID and they will show a certified profile in their comments.This plugin requires php_openssl module working on your php installation in order to comunicate with...
Platforms: PHP
License: Freeware | Size: 10 KB | Download (39): Tractis Certified Profiles Download |
Allow your users to proof their real identity in your blog. Your users will be able to identify in your blog using their electronic ID and they will show their verified identity in their comments.This plugin requires php_openssl module working on your php installation in order to comunicate with...
Platforms: PHP
License: Freeware | Size: 20.48 KB | Download (46): Tractis Identity Verifications Download |
When you delete a file normally, the operating system doesn`t physically delete it, but "hides" it. Then it marks its sector as unoccupied for if it might be necessary to write another file over it. Until that happens, that data continues to be physically stored on disc, with the danger that...
Platforms: Windows
License: Freeware | Size: 5 KB | Download (132): Access Proof 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 |
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 |
This is a proof of concept Lunar Electric Rover simulator, designed by Frassanito and Associates, in conjunction with Petter Sundnes, Rommany Allen, and Chilton Webb. This simulator is based around NASAs Constellation Program architecture.
It lets you drive the LER around on the moon, dock with...
Platforms: Mac
License: Freeware | Size: 50 MB | Download (469): Lunar Rover Simulator for Mac OS Download |
dotBrowser is a handy, easy to use multi-tab web browser, being proof-of-concept of .NET System.Windows.Forms.WebBrowser module using.
for WindowsAll
Platforms: Windows
License: Freeware | Download (51): dotBrowser 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 |