Difference between revisions of "ITL Windows Build"

From CSLabsWiki
Jump to: navigation, search
(Model Verification)
(Misc)
Line 82: Line 82:
  
 
===Misc===
 
===Misc===
 +
[http://www.piriform.com/ccleaner CCleaner]
 +
 
[http://dia-installer.de/ Dia]
 
[http://dia-installer.de/ Dia]
  
Line 88: Line 90:
 
[http://www.python.org/ Python]
 
[http://www.python.org/ Python]
  
[http://www.wireshark.org/ WIRESHARK]
+
[http://www.wireshark.org/ WireShark]
  
 
[[Category:Lab Builds]]
 
[[Category:Lab Builds]]

Revision as of 14:34, 25 August 2014

ITL Windows Build
Contact Person: Alex Hurd
Last Update: January 2014
Services: Windows Image for ITL


Programs

Math Tools

R

MEGA6

Maple 17

MATLAB R2013b

IBM SPSS Statistics

Text Editors

Notepad++

Crimson Editor

IDEs

Eclipse

Netbeans

Code::Blocks

Visual Studio

Web Browsers

Firefox

Google chrome

Firebug Extension

Silverlight Multimedia Extension

Office

TeX Live

LibreOffice 4.1

Microsoft Office 2010

VM Tools

VirtualBox

VMWARE Player 6

Version Control

Github VC

TortoiseSVN

Utilities

7-Zip

PuTTY

WinSCP

CutePDF

Model Verification

Z3

VCC

Alloy

NuSMV

Misc

CCleaner

Dia

GIMP

Python

WireShark