Icon  Name                    Last modified      Size  
[DIR] Parent Directory - [DIR] 4ti2/ 08-Aug-2015 21:38 - [DIR] Macaulay2/ 15-Apr-2016 04:30 - [DIR] agda-lib-ffi/ 08-Aug-2015 21:38 - [DIR] agda-stdlib/ 16-Feb-2017 06:21 - [DIR] agda/ 16-Feb-2017 06:21 - [DIR] axiom/ 08-Aug-2015 21:38 - [DIR] bertini/ 08-Aug-2015 21:38 - [DIR] cado-nfs/ 19-Feb-2017 14:20 - [DIR] calc/ 07-Mar-2016 04:06 - [DIR] cgal/ 06-May-2016 07:02 - [DIR] coq/ 23-Jan-2017 05:04 - [DIR] cvc3/ 29-Oct-2016 19:29 - [DIR] dataplot/ 18-Feb-2016 05:01 - [DIR] diagrtb/ 08-Aug-2015 21:38 - [DIR] drgeo/ 12-Feb-2017 13:02 - [DIR] dunshire/ 16-Nov-2016 10:00 - [DIR] e/ 02-Jan-2017 19:11 - [DIR] ent/ 08-Aug-2015 21:38 - [DIR] euler/ 08-Aug-2015 21:38 - [DIR] factmsieve/ 08-Aug-2015 21:38 - [DIR] fann/ 15-Jan-2017 07:20 - [DIR] flint/ 05-Jan-2016 11:09 - [DIR] form/ 08-Aug-2015 21:38 - [DIR] freemat/ 08-Aug-2015 21:38 - [DIR] fricas/ 16-Feb-2017 14:51 - [DIR] frobby/ 19-Feb-2017 19:45 - [DIR] genius/ 27-Nov-2016 11:04 - [DIR] geogebra/ 09-Mar-2017 10:23 - [DIR] geomview/ 08-Aug-2015 21:38 - [DIR] gfan/ 19-Feb-2017 14:35 - [DIR] ggnfs/ 08-Aug-2015 21:38 - [DIR] gimps/ 02-Nov-2016 19:42 - [DIR] ginac/ 11-Mar-2017 06:12 - [DIR] glpk/ 03-Mar-2017 20:10 - [DIR] gmm/ 11-Mar-2017 06:12 - [DIR] gmp-ecm/ 08-Aug-2015 21:38 - [DIR] gretl/ 08-Aug-2015 21:38 - [DIR] gsl-shell/ 07-Sep-2016 18:26 - [DIR] gwnum/ 08-Aug-2015 21:38 - [DIR] isabelle/ 28-Jan-2017 04:31 - [DIR] jags/ 02-Mar-2016 04:32 - [DIR] kodkod/ 02-Jan-2017 18:52 - [DIR] kodkodi/ 02-Jan-2017 18:56 - [DIR] lpsolve/ 08-Aug-2015 21:38 - [DIR] lybniz/ 08-Aug-2015 21:38 - [DIR] mathmod/ 15-Mar-2016 19:41 - [DIR] mathomatic/ 08-Aug-2015 21:38 - [DIR] maxima/ 13-Jan-2017 16:35 - [   ] metadata.xml 24-Aug-2015 17:30 1.3K [DIR] minisat/ 13-Sep-2016 05:03 - [DIR] mlpy/ 08-Aug-2015 21:38 - [DIR] msieve/ 08-Aug-2015 21:38 - [DIR] nauty/ 08-Aug-2015 21:38 - [DIR] nestedsums/ 05-Feb-2017 16:57 - [DIR] normaliz/ 26-Oct-2016 04:26 - [DIR] num-utils/ 08-Aug-2015 21:38 - [DIR] nusmv/ 24-Sep-2016 10:30 - [DIR] octave-epstk/ 08-Aug-2015 21:38 - [DIR] octave/ 28-Feb-2017 16:41 - [DIR] otter/ 11-Mar-2017 06:48 - [DIR] p9m4/ 08-Aug-2015 21:38 - [DIR] pari-data/ 08-Aug-2015 21:38 - [DIR] pari/ 08-Aug-2015 21:38 - [DIR] polymake/ 18-Feb-2017 18:41 - [DIR] prng/ 11-Mar-2017 12:43 - [DIR] prover9/ 08-Aug-2015 21:38 - [DIR] pspp/ 02-Jan-2017 18:09 - [DIR] pymc/ 24-Sep-2016 10:30 - [DIR] pymc3/ 06-Jan-2017 21:00 - [DIR] qtoctave/ 08-Aug-2015 21:38 - [DIR] reduce/ 08-Aug-2015 21:38 - [DIR] relational/ 04-Mar-2017 03:27 - [DIR] rkward/ 15-Sep-2016 11:41 - [DIR] rngstreams/ 08-Aug-2015 21:38 - [DIR] rstudio/ 03-Jan-2017 08:38 - [DIR] rw/ 08-Aug-2015 21:38 - [DIR] sha1-polyml/ 02-Jan-2017 19:02 - [DIR] singular/ 16-Sep-2016 11:04 - [DIR] snns/ 02-Jan-2017 18:09 - [DIR] spass/ 02-Jan-2017 19:07 - [DIR] spin/ 09-Jan-2016 08:00 - [DIR] topcom/ 25-Sep-2016 15:36 - [DIR] twelf/ 08-Aug-2015 21:38 - [DIR] unuran/ 08-Aug-2015 21:38 - [DIR] wxmaxima/ 25-Jan-2017 11:02 - [DIR] xmds/ 02-Jan-2017 18:09 - [DIR] yacas/ 11-Mar-2017 07:46 - [DIR] yafu/ 08-Aug-2015 21:38 - [DIR] z3/ 01-Jan-2017 20:20 -
Halifax, Nova Scotia [44.636607, -63.591380] mirror maintained by Karl Vollmer of ITS and Raymond Henick of CS @ Dalhousie University
Sponsored By: Computer Science @ Dalhousie University, Networks & Systems @ Dalhousie University, ACORN Members