Syntax highlighting for VDM

6. February 2010

Here are language files for VDM:

  • VDM-SL
  • VDM-PP
  • VDM-RT

vdm.lang (9.94 kb)

vdmpp.lang (10.15 kb)

vdmrt.lang (10.25 kb)

vdmsl.lang (9.95 kb)

vpp.lang (10.14 kb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools, Ubuntu

DebugView

4. February 2010

DebugView is an application to monitor debug output.

From Microsoft TechNet:

DebugView is an application that lets you monitor debug output on your local system, or any computer on the network that you can reach via TCP/IP. It is capable of displaying both kernel-mode and Win32 debug output, so you don't need a debugger to catch the debug output your applications or device drivers generate, nor do you need to modify your applications or drivers to use non-standard debug output APIs.

Link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Windows Vista, Tools, C#

Firefox plug-in for text encoding and decoding

8. January 2010

Here is a small Firefox plug-in which enables you to do encoding and decoding of text between different encodings.

http://leetkey.mozdev.org/index.html

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

CPUZ – Get information about main hardware devices

4. October 2009

CPU-Z is a freeware that gathers information on some of the main devices of your system.
CPU

  • Name and number.
  • Core stepping and process.
  • Package.
  • Core voltage.
  • Internal and external clocks, clock multiplier.
  • Supported instructions sets.
  • Cache information.
Mainboard
  • Vendor, model and revision.
  • BIOS model and date.
  • Chipset (northbridge and southbridge) and sensor.
  • Graphic interface.
Memory
  • Frequency and timings.
  • Module(s) specification using SPD (Serial Presence Detect) : vendor, serial number, timings table.
System
  • Windows and DirectX version.

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Check PDF for Embeded fonts with pdffonts

5. August 2009

pdffonts runs on many operating systems and is part of the free Xpdf distribution. If permitted by local software policies you should obtain the latest version ofpdffonts by downloading and installing the latest version of Xpdf. To get a listing of the font embedding for a particular PDF file you need to run the pdffonts utility. For example:

pdffonts myarticle.pdf

 

 More info here 

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Mount Linux ext3 USB pen on Windows

20. May 2009

Here is a driver for windows which can mount a USB pen formated in ext3 for Linux under windows.

 Link

Ext2Fsd-0.46.zip (949.07 kb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Portable FTP Server

17. April 2009

Here is a portable FTP Server for Windows which only is 400K.

Quick'N Easy FTP Server Lite

QuickNEasyFTPServerLite

Source reference

Direct download: Link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Get Java version from Class file

3. March 2009

Here is a small program to extract the java compile version from a java .class file.

It is based on the info from: http://en.wikipedia.org/wiki/Class_%28file_format%29

JavaClassFileCompilerVersion

JDK   v   d   HEX
-----------------------
J2SE 6.0=50 - 32
J2SE 5.0=49 - 31
JDK  1.4=48 - 30
JDK  1.3=47 - 29
JDK  1.2=46 - 28
JDK  1.1=45 - 27

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Virtual PC SP1 Networking problems (address "00:00:00:00:00:00" failed to initialize)

29. September 2008

There have been a number of people reporting that when they start a virtual machine - they get the following error:

The network adapter with address "00:00:00:00:00:00" of virtual machine "...." failed to initialize because the address is a null address.

To fix this problem you should use REGEDIT to:

  • Examine the key value at HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Class\{4D36E972-E325-11CE-BFC1-08002bE10318}\<nnnn>\DriverDesc to locate the desired host adapter where <nnnn> is a four digit number.
  • Look at the GUID value for the NetCfgInstanceId key value.
    Add the DWORD key at HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\VPCNetS2\Parameters\Adapters\<guid>\Flags and set the value to 0 where <guid> is the GUID found in step 2.
  • Restart the computer.

This registry value was added in Virtual PC SP1’s Virtual Machine Network Services driver. It is supposed to be setup during installation by the driver’s notify object. However, under certain circumstances the notify object of the old version is used during the installation of the new version and this registry value is never created. It is used by the driver to determine if a particular host adapter can be used in the MAC address generation algorithm. If the key is not present, we assume that the host adapter cannot be. In the case you experienced, none of your adapters appear suitable as a basis for MAC address generation and the driver returns a NULL MAC address which causes VPC to report the error.

 

Source: Link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools, Windows Vista

Python programming on windows

1. June 2008

To programe python on windows you need the python source files:
Python download

 And a IDE here you can use ActiveState Komodo IDE

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools