Difference between revisions of "ITL Windows Build"

From CSLabsWiki
Jump to: navigation, search
(updated for the new pcs (F2014))
Line 18: Line 18:
  
 
[http://www.megasoftware.net/ MEGA6]
 
[http://www.megasoftware.net/ MEGA6]
 +
 +
[http://www-01.ibm.com/software/analytics/spss/ IBM SPSS Statistics]
  
 
[http://www.r-project.org/ R]
 
[http://www.r-project.org/ R]
Line 61: Line 63:
 
[http://msysgit.github.io/ Github VC]
 
[http://msysgit.github.io/ Github VC]
  
===Misc===
+
===Utilities===
[http://www.wireshark.org/ WIRESHARK]
 
 
 
 
[http://www.chiark.greenend.org.uk/~sgtatham/putty/ PuTTY]
 
[http://www.chiark.greenend.org.uk/~sgtatham/putty/ PuTTY]
  
Line 69: Line 69:
  
 
[http://www.7-zip.org/ 7-Zip]
 
[http://www.7-zip.org/ 7-Zip]
 
[http://openvpn.net/ OpenVPN]
 
  
 
[http://www.cutepdf.com/ CutePDF]
 
[http://www.cutepdf.com/ CutePDF]
  
[http://www-01.ibm.com/software/analytics/spss/ IBM SPSS Statistics]
+
===Model Verification===
 
 
 
[http://z3.codeplex.com/ Z3]
 
[http://z3.codeplex.com/ Z3]
  
Line 83: Line 80:
  
 
[http://alloy.mit.edu/alloy/ Alloy]
 
[http://alloy.mit.edu/alloy/ Alloy]
 +
 +
===Misc===
 +
[http://www.wireshark.org/ WIRESHARK]
  
 
[http://www.python.org/ Python]
 
[http://www.python.org/ Python]

Revision as of 19:51, 8 June 2014

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


Programs

Math Tools

MATLAB R2013b

Maple 17

MEGA6

IBM SPSS Statistics

R

Text Editors

Notepad++

Crimson Editor

IDEs

Code::Blocks

Eclipse

Netbeans

Visual Studio

Web Browsers

Google chrome

Firefox

Firebug Extension

Silverlight Multimedia Extension

Office

Microsoft Office 2010

LibreOffice 4.1

TeX Live

VM Tools

VirtualBox

VMWARE Player 6

Version Control

TortoiseSVN

Github VC

Utilities

PuTTY

WinSCP

7-Zip

CutePDF

Model Verification

Z3

VCC

NuSMV

Alloy

Misc

WIRESHARK

Python

GIMP

Dia