|
|
|
The following table details the software for teaching courses within the School of Informatics partially ordered by the urgency with which it needs to be attended to.
| Software | Software Version | Ported? | Courses Using Software | |||
|---|---|---|---|---|---|---|
| Code | Title | Identified? | Version(s) | No. courses | No. students last year | |
| bluej | BlueJ | No | No | 2 | 33 | |
| netbluej | NetBeans BlueJ Plugin | No | No | 2 | 33 | |
| pwc | Philips USB Webcam driver | No | No | 4 | 109 | |
| jml | The Java Modeling Language (JML) Common | Yes | 5.5 | No | 1 | 16.5 |
| LADR | Library for Automated Deduction Research | Yes | 200712 | Yes | 2 | 40 |
| R | R - Statistical Computing | Yes | 2.5.1 | Yes | 3 | 68 |
| aclisp | Allegro Common Lisp | Yes | 8.0 | Yes | 1 | 0 |
| antlr | ANother Tool for Language Recognition | Yes | 3.0 | Yes | 1 | 13 |
| apache | Apache HTTP Server | Yes | 2.2.3 | Yes | 1 | 39 |
| argouml | ArgoUML | Yes | 0.24 | Yes | 2 | 61 |
| axis | Axis | Yes | 1.2.1 | Yes | 2 | 33 |
| bcel | Byte Code Engineering Library | Yes | 5.1 | Yes | 1 | 13 |
| bior | Bioconductor R | Yes | 1.9 | Yes | 2 | 43 |
| bow | Bow Toolkit | Yes | 20020213 | Yes | 1 | 25 |
| c4.5 | C4.5 Induction System | Yes | r8 | Yes | 1 | 25 |
| cheetah | Python Template Engine and Code Generato | Yes | 2.0.1 | Yes | 2 | 40 |
| cluster | cluster | Yes | 2.9 | Yes | 1 | 25 |
| cogent | Cogent | Yes | 2.3.8 | Yes | 2 | 18 |
| copasi | Complex Pathway Simulator | Yes | 4.2 | Yes | 1 | 22 |
| coq | Coq Proof Assistant | Yes | 8.1, 8.2beta4 | Yes | 2 | 9.5 |
| coqide | Coq Integrated Development Environment | Yes | 8.1, 8.2beta4 | Yes | 2 | 9.5 |
| ctat | Cognitive Tutor Authoring Tools | Yes | 1.3 | Yes | 2 | 0 |
| cvrlipse | Coverlipse | Yes | 0.9.5.3 | Yes | 1 | 32 |
| cwb | Concurrency Workbench | Yes | 7.1 | Yes | 2 | 5 |
| cyclone | Cyclone | Yes | 1.0.20070516 | Yes | 1 | 33 |
| eclipse | Eclipse | Yes | 3.2, 3.4 | Yes | 9 | 306.5 |
| emosml | Extended Moscow ML | Yes | 2.00 | Yes | 2 | 0 |
| esc | ESC/Java 2 as an Eclipse plugin | Yes | 2.0b4 | Yes | 1 | 16.5 |
| esterel | Esterel | Yes | 5.92 | Yes | 2 | 33 |
| eucslabs | EUCS Labs software environment | Yes | 2006/7 | Yes | 1 | 59 |
| galax | Galax | Yes | 0.5.0 | Yes | 1 | 39 |
| gcc | GCC | Yes | 4.1.2 | Yes | 12 | 322 |
| gdb | GDB | Yes | 6.5 | Yes | 2 | 51 |
| ggobi | Ggobi | Yes | 2.1.4 | Yes | 1 | 25 |
| ghc | Glasgow Haskell Compiler | Yes | 6.8.3 | Yes | 1 | 126.5 |
| grace | Grace | Yes | 5.1.25 | Yes | 1 | 36 |
| gtk+ | GTK+ | Yes | 1.2.10 | Yes | 2 | 18 |
| gtkwave | GTK Wave | Yes | 3.0.28 | Yes | 1 | 72 |
| gturing | Turing Machine Simulator | Yes | 0.1.1 | Yes | 1 | 15 |
| haddock | Haskell Documentation Generator | Yes | 0.9 | Yes | 1 | 126.5 |
| happy | Haskell Parser Generator | Yes | 1.16 | Yes | 1 | 126.5 |
| haskmode | Emacs Haskell Mode | Yes | 2.3 | Yes | 1 | 126.5 |
| helium | Haskell Teaching Environment | Yes | 1.6 | Yes | 1 | 126.5 |
| hibernat | Hibernate | Yes | 3.2.0 | Yes | 2 | 33 |
| htk | Hidden Markov Model Toolkit | Yes | 3.4 | Yes | 1 | 13 |
| isabelle | Isabelle | Yes | 2005 | Yes | 3 | 19 |
| iv | InterViews Graphics Lib -Neuron/PDP+fork | Yes | 17 | Yes | 1 | 36 |
| java2sdk | Java2 SDK | Yes | 1.6.0.07 | Yes | 25 | 688 |
| javacup | Java CUP | Yes | 0.10 | Yes | 1 | 13 |
| jena | Semantic Web Framework for Java | Yes | 2.5.5 | Yes | 2 | 40 |
| jess | Jess | Yes | 7.0p1 | Yes | 2 | 20 |
| jflap | JFLAP | Yes | 6.1 | Yes | 1 | 80 |
| jikesrvm | Jikes RVM | Yes | 2.9.3 | Yes | 2 | 8 |
| jlex | JLex | Yes | 1.2.6 | Yes | 1 | 13 |
| jmf | Java Media Framework API | Yes | 2.1.1e | Yes | 2 | 0 |
| jpwb | PEPA Workbench (Java Edition) | Yes | 0.9.4b | Yes | 3 | 23 |
| jvbayes | JavaBayes | Yes | 0.346 | Yes | 2 | 47 |
| kheperac | Khepera MATLAB modules | Yes | 0.1 | Yes | 2 | 66 |
| kros | K-Product Cross Compiler | Yes | 20010222 | Yes | 2 | 66 |
| lammpi | LAM/MPI | Yes | 7.1.2 | Yes | 2 | 66 |
| maple | Maple | Yes | 9.03 | Yes | 5 | 45 |
| matlab | MATLAB | Yes | 7.5 | Yes | 16 | 491 |
| mosml | Moscow ML | Yes | 2.01 | Yes | 2 | 0 |
| mplayer | MPlayer | Yes | 1.0 | Yes | 2 | 21.5 |
| mysql | MySQL | Yes | 5.0.45 | Yes | 1 | 22 |
| netbeans | NetBeans IDE | Yes | 5.5, 6.1 | Yes | 4 | 33 |
| netlab | NETLAB | Yes | 3.3-matlab_7.5 | Yes | 4 | 122 |
| nltklite | NLTK-Lite | Yes | 0.9.5 | Yes | 3 | 120 |
| nothing | NONE REQUIRED | Yes | N/A | Yes | 2 | 20 |
| nrn | Neuron | Yes | 5.7.159 | Yes | 1 | 36 |
| ocaml | Objective Caml | Yes | 3.09.3 | Yes | 2 | 40 |
| ocjava | Ocjava java code generator for esterel | Yes | 1.0 | Yes | 2 | 33 |
| octave | Octave | Yes | 3.0.0 | Yes | 2 | 49 |
| octforge | Octave Forge | Yes | 2007-12-12 | Yes | 1 | 36 |
| openssh | OpenSSH | Yes | 4.3p2 | Yes | 1 | 57 |
| openssl | OpenSSL | Yes | 0.9.8b | Yes | 1 | 57 |
| owlsedit | OWL-S Editor | Yes | build23 | Yes | 2 | 40 |
| pellet | Pellet: An OWL DL Reasoner | Yes | 1.4 | Yes | 4 | 60 |
| perl | Perl | Yes | 5.8.8 | Yes | 2 | 27 |
| pga | pga | Yes | 4.0 | Yes | 2 | 72 |
| pgs-jdbc | PostgreSQL Java drivers | Yes | 8.1.407 | Yes | 5 | 64 |
| php | PHP | Yes | 5.1.6 | Yes | 1 | 39 |
| piklab | PIKlab | Yes | 0.15.0 | Yes | 2 | 29 |
| pl | SWI Prolog | Yes | 5.6.35 | Yes | 1 | 28 |
| planner | Planner | Yes | 0.14.3 | Yes | 2 | 76 |
| pnumarr | Python Numarray | Yes | numpy-1.0.4 | Yes | 1 | 80 |
| polyml | Poly/ML | Yes | 5.0.2 | Yes | 3 | 19 |
| postgres | PostgreSQL | Yes | 8.1.11 | Yes | 5 | 141 |
| proofgen | Proof General | Yes | 3.5 | Yes | 3 | 19 |
| protege | Protege | Yes | 3.3.1-430, 4.0-56 | Yes | 4 | 60 |
| protowl | Protege OWL | Yes | protege-3.3.1-430 | Yes | 2 | 20 |
| ps2pdf | ps2pdf | Yes | ghostscript-8.15.2 | Yes | 1 | 30 |
| pydel | Python Interface to Del.icio.us | Yes | 0.5.0 | Yes | 2 | 40 |
| pydot | Python Interface to Graphviz | Yes | 0.9.10 | Yes | 2 | 40 |
| pyfeed | Parse RSS and Atom feeds in Python | Yes | 4.1 | Yes | 2 | 40 |
| pypar | Python Grammar Parser | Yes | 1.4.10 | Yes | 2 | 40 |
| python | Python | Yes | 2.4.3 | Yes | 1 | 80 |
| racer | Racer | Yes | 1.7.23 | Yes | 2 | 40 |
| rdflib | Python RDF Library | Yes | 2.4.0 | Yes | 2 | 40 |
| sbtoolbx | SBToolbox | Yes | 2.0.2 | Yes | 1 | 22 |
| sicstus | Sicstus Prolog | Yes | 3.12.5, 4.0.1 | Yes | 4 | 86.5 |
| simjava | simjava | Yes | 2.0 | Yes | 3 | 23 |
| simplegp | simplegp | Yes | 1 | Yes | 2 | 72 |
| smlnj | SML/NJ | Yes | 110.0.7 | Yes | 2 | 5 |
| spim | SPIM MIPS Simulator | Yes | 7.3 | Yes | 1 | 72 |
| spin | Spin | Yes | 4.2.9 | Yes | 3 | 19 |
| spnp | SPNP | Yes | 1 | Yes | 3 | 23 |
| spring | Spring Framework | Yes | 2.0.5 | Yes | 2 | 33 |
| srgp | SRGP | Yes | 1.5 | Yes | 3 | 33 |
| svmtorch | SVMTorch-II | Yes | 1.77 | Yes | 1 | 25 |
| svn | Subversion | Yes | 1.4.2 | Yes | 2 | 76 |
| sysc | SystemC | Yes | 2.1 | Yes | 1 | 72 |
| taverna | Taverna Workbench | Yes | 1.5.1 | Yes | 1 | 22 |
| tcltk | Tcl/Tk | Yes | 8.4.13 | Yes | 3 | 71 |
| tomcat | Tomcat | Yes | 5.5.23 | Yes | 2 | 33 |
| umlet | UMLet - UML Tool for Fast UML Diagrams | Yes | 71 | Yes | 1 | 72 |
| umlinux | User-Mode Linux | Yes | Lecturer-provided | Yes | 2 | 51 |
| umlutils | User Mode Linux Utilities | Yes | 20040406 | Yes | 3 | 79.5 |
| wash | Web Authoring System Haskell (WASH) | Yes | 2.10 | Yes | 1 | 126.5 |
| webots | Webots | Yes | 5.1.10 | Yes | 3 | 67 |
| weka | WEKA | Yes | 3.4.13 | Yes | 1 | 25 |
| wxhaskel | wxHaskell | Yes | 0.10.3 | Yes | 1 | 126.5 |
| x-symbol | X-Symbol Emacs/Xemacs package | Yes | proofgeneral-3.5 | Yes | 3 | 19 |
| xawtv | xawtv | Yes | 4pre-20070625 | Yes | 4 | 109 |
| xgobi | xgobi | Yes | 20020401 | Yes | 1 | 25 |
| xilinx | xilinx ise | Yes | 10.1 | Yes | 2 | 29 |
| xmag | xmag | Yes | xorg-x11-apps-7.1 | Yes | 2 | 43 |
| xt2gt | xt2gt Turing Machine defn. translator | Yes | 0.99.1 | Yes | 1 | 15 |
| xv | xv | Yes | 3.10a | Yes | 2 | 43 |
| |stat | Pipe stat | Yes | 20011201 | Yes | 2 | 18 |
| Software | Software Version | Ported? | Courses Using Software | |||
|---|---|---|---|---|---|---|
| Code | Title | Identified? | Version(s) | No. courses | No. students last year | |
| N/A | N/A | 0 | 0 | |||
| GLFW | A binding for GLFW, An OpenGL Framework | N/A | N/A | 0 | 0 | |
| OpenGL | A binding for the OpenGL graphics system | N/A | N/A | 0 | 0 | |
| altera | Altera Max+Plus II | N/A | N/A | 0 | 0 | |
| ant | Ant build tool for java | N/A | N/A | 0 | 18.5 | |
| aop | Agent0 interpretor | N/A | N/A | 0 | 0 | |
| biojava | BioJava | N/A | N/A | 0 | 0 | |
| bioperl | Bioperl | N/A | N/A | 0 | 0 | |
| blender | Open Source 3D Content Creation Suite | N/A | N/A | 0 | 12 | |
| bliksem | Bliksem | N/A | N/A | 0 | 0 | |
| bvs | Braitenberg Vehicle Simulator | N/A | N/A | 0 | 0 | |
| bytecode | Bytecode | N/A | N/A | 0 | 0 | |
| cmake | CMake | N/A | N/A | 0 | 19.5 | |
| cplc | CPL Compiler | N/A | N/A | 0 | 0 | |
| cryptyc | Cryptyc | N/A | N/A | 0 | 28.5 | |
| curt | Curt from BB1 | N/A | N/A | 0 | 8.5 | |
| cvs | Concurrent Version System | N/A | N/A | 0 | 0 | |
| funnie | Funnie | N/A | N/A | 0 | 72.5 | |
| gtksharp | GTK# | N/A | N/A | 0 | 16.5 | |
| hase | HASE | N/A | N/A | 0 | 0 | |
| haskelld | haskelldb | N/A | N/A | 0 | 0 | |
| hc1hprac | Last year's HC1h practicals | N/A | N/A | 0 | 0 | |
| hsql | HSQL | N/A | N/A | 0 | 0 | |
| hugs | Hugs 98 | N/A | N/A | 0 | 72.5 | |
| iac | IAC wrapper script for PDP++ demo | N/A | N/A | 0 | 0 | |
| ibmrsa | IBM Rational Software Architect | N/A | N/A | 0 | 0 | |
| imlib2 | Imlib2 | N/A | N/A | 0 | 0 | |
| ims-cwb | IMS Corpus Workbench | N/A | N/A | 0 | 66 | |
| inferenc | Inference | N/A | N/A | 0 | 0 | |
| jape | Jape | N/A | N/A | 0 | 28.5 | |
| java3d | Java 3D | N/A | N/A | 0 | 0 | |
| javahase | JavaHASE | N/A | N/A | 0 | 0 | |
| jdkdoc | Java Documentation | N/A | N/A | 0 | 66 | |
| jesstkit | Jess Tutor Kit | N/A | N/A | 0 | 0 | |
| jflex | JFlex | N/A | N/A | 0 | 0 | |
| junit | JUnit | N/A | N/A | 0 | 66 | |
| jwsdp | Java Web Services Developer Pack | N/A | N/A | 0 | 0 | |
| lingoerg | LinGO English Resource Grammar (ERG) | N/A | N/A | 0 | 8.5 | |
| lingolkb | Lingo LKB | N/A | N/A | 0 | 8.5 | |
| lserv | Webots Licence Server | N/A | N/A | 0 | 0 | |
| mono | Mono | N/A | N/A | 0 | 16.5 | |
| mplab | MPLAB IDE | N/A | N/A | 0 | 14.5 | |
| nltk | NLTK | N/A | N/A | 0 | 0 | |
| nltkcntr | Contributed libraries for NLTK | N/A | N/A | 0 | 0 | |
| nltkdata | Data corpora for NLTK | N/A | N/A | 0 | 0 | |
| otter | Otter/Mace2 | N/A | N/A | 0 | 8.5 | |
| pdp++ | PDP++ | N/A | N/A | 0 | 0 | |
| pgabatch | pgabatch | N/A | N/A | 0 | 0 | |
| pnumeric | Python Numeric | N/A | N/A | 0 | 0 | |
| pywn | PyWN | N/A | N/A | 0 | 0 | |
| pywordnt | PyWordNet | N/A | N/A | 0 | 0 | |
| quickchk | QuickCheck Haskell Module | N/A | N/A | 0 | 0 | |
| quip | QuiP | N/A | N/A | 0 | 0 | |
| rangeseg | Rangeseg | N/A | N/A | 0 | 21.5 | |
| rtxc | RTX Controller | N/A | N/A | 0 | 21.5 | |
| scala | Scala compiler | N/A | N/A | 0 | 16.5 | |
| scsh | Scheme Shell | N/A | N/A | 0 | 72.5 | |
| tlearn | Tlearn | N/A | N/A | 0 | 0 | |
| tnt | TnT | N/A | N/A | 0 | 0 | |
| torch3 | Torch3 | N/A | N/A | 0 | 0 | |
| vcc | VCC | N/A | N/A | 0 | 0 | |
| venkman | Venkman Javascript Debugger (Firefox Ext | N/A | N/A | 0 | 16.5 | |
| vtk | VTK | N/A | N/A | 0 | 19.5 | |
| wordnet | WordNet | N/A | N/A | 0 | 0 | |
| wxgtk | wxGTK | N/A | N/A | 0 | 72.5 | |
| xvidcap | X Video Capture | N/A | N/A | 0 | 12 | |
|
Please contact us with any
comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
|
