diff --git a/karolina.csv b/karolina.csv
index 4a796d79299e00f8ec88034c03c0bc2ce886e5a4..4aa053068617e9c57eff1567923f5041748bba79 100644
--- a/karolina.csv
+++ b/karolina.csv
@@ -387,6 +387,7 @@ Meson/0.55.3-GCCcore-10.2.0,1
 Meson/0.58.0-GCCcore-10.3.0,1
 METIS/5.1.0-GCCcore-10.2.0,1
 mkl/2020.4.304,1
+mkl-service/2.3.0-intel-2020b,1
 Molden/6.3-intel-2020a,1
 Molpro/mpp-2021.1.0.linux_x86_64_openmp,1
 Mono/6.12.0.122,1
@@ -535,6 +536,8 @@ Tcl/8.6.10-GCCcore-10.2.0,1
 Tcl/8.6.10-GCCcore-9.3.0,1
 Tcl/8.6.11-GCCcore-10.3.0,1
 Tcl/8.6.6,1
+Theano/1.1.2-foss-2020b-PyMC,1
+Theano/1.1.2-intel-2020b-PyMC,1
 Tk/8.6.10-GCCcore-10.2.0,1
 Tk/8.6.10-GCCcore-9.3.0,1
 Tk/8.6.6,1
diff --git a/karolina.md b/karolina.md
index c1e75095458e4bacf93d8fa9423d129ae2a32e9d..e9c1e5162b4eec91b148ffd5b8434cb94e732156 100644
--- a/karolina.md
+++ b/karolina.md
@@ -62,6 +62,7 @@
 | [HDF5](http://www.hdfgroup.org/HDF5/) | HDF5 is a unique technology suite that makes possible the management of extremely large and local_complex data collections. |
 | [LAME](http://lame.sourceforge.net/) | LAME is a high quality MPEG Audio Layer III (MP3) encoder licensed under the LGPL. |
 | [libPSML](https://launchpad.net/libpsml) | A library to handle PSML, the pseudopotential markup language. |
+| [mkl-service](https://github.com/IntelPython/mkl-service) | Python hooks for Intel(R) Math Kernel Library runtime control settings. |
 | [netCDF](http://www.unidata.ucar.edu/software/netcdf/) | NetCDF (network Common Data Form) is a set of software libraries and machine-independent data formats that support the creation, access, and sharing of array-oriented scientific data. |
 | [netCDF-Fortran](https://www.unidata.ucar.edu/software/netcdf/) | NetCDF (network Common Data Form) is a set of software libraries and machine-independent data formats that support the creation, access, and sharing of array-oriented scientific data. |
 | [SoX](http://http://sox.sourceforge.net/) | Sound eXchange, the Swiss Army knife of audio manipulation |
@@ -201,6 +202,7 @@
 | [ParMETIS](http://glaros.dtc.umn.edu/gkhome/metis/parmetis/overview) | ParMETIS is an MPI-based parallel library that implements a variety of algorithms for partitioning unstructured graphs, meshes, and for local_computing fill-reducing orderings of sparse matrices. ParMETIS extends the functionality provided by METIS and includes routines that are especially suited for parallel AMR local_computations and large scale numerical simulations. The algorithms implemented in ParMETIS are based on the parallel multilevel k-way graph-partitioning, adaptive repartitioning, and parallel multi-constrained partitioning schemes. |
 | [SCOTCH](https://gforge.inria.fr/projects/scotch/) | Software package and libraries for sequential and parallel graph partitioning, static mapping, and sparse matrix block ordering, and sequential mesh and hypergraph partitioning. |
 | [sympy](https://sympy.org/) | SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries. |
+| [Theano](https://deeplearning.net/software/theano) | Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. |
 
 ## Mpi