Bullet Proof Automotive

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...

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...

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

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

Using an automotive suspension system as an example, this article describes tools and techniques in MATLABdlT«, Statistics ToolboxdlOao, and Optimization ToolboxdlOao that let you extend a traditional design optimidlTCzation approach to account for uncertainty in your design, improving quality...


Platforms: Matlab

This plugin gives you possibility to create bullet lists for your posts. You can choose as many lists as you want and for each list you can select categories to include or to exclude posts.Your posts can be randomized or sord by date. With title you can chose to show date or number of...


Platforms: PHP

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

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

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

pyBallistics is a graphical small arms ballistics program used to calculate ballistic coefficients, and model bullet trajectories. Future improvements will be a reloading database, and web links to industry reloading data.


Platforms: *nix

AutoCenter 4.3 offers comprehensive automotive information and shop management and marketing tools to help boost shop performance. Customers informations, vehicles by customer, orders by vehicle, print invoices and report generate. good luck with new benefits this software!


Platforms: Windows

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

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

Python library for PS3 (Sony Playstation 3) game development under Linux. Includes: rendering to the PS3 frame buffer on a per pixel basis or with blittable objects (solid, masked or alpha blended), support for PS3 controllers and integration with PIL. As you may know, Ive been writing my PS3...


Platforms: *nix

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

Veloce RSS is an RSS reader for the Veloce Publishing feed which details new and forthcoming books from THE publisher of fine automotive books.


Platforms: Mac

GeoDynoSim is a professional high speed automotive vehicle dynometer simulation including road-test features. This program is a powerful assistant to have before and during engine tuning and modification. It gives instant confirmation of accurate results. It also has a professional and simple...


Platforms: Mac

Auto Shop Invoicer is Automotive Invoicing Software that is easy to use, affordable, and flexible enough to handle the management tasks common to your automotive repair shop, motorcycle shop, small engine repair shop, etc. Automotive Repair Shops that have been using this software over the...


Platforms: Windows

This is an automotive car care software which helps you to maintain fuel and maintenance information for your vehicle. This application is recommended for home users, as a Lite Edition of Mycar-Monitor. mcAutoTrack can be used for any motorized vehicle. e.g. cars, motorcycles, trucks or power...


Platforms: Windows

Point Mass Balistics Solver was designed as a simple and easy-to-use piece of software that allows you to perform various ballistics calculations. Point Mass Balistics Solver was created in Java and can run on multiple platforms. Now you can make use of this tool to calculate a bullet's velocity.


Platforms: Windows