They are likely all in-house tools. Take a look at github projects of this Haskell-using bank for example: https://github.com/barclays

Not sure if this counts, but IIRC in one of the talks, Edward Kmett was describing row-polymorphic language they implemented in Scala to be used internally at S&P (or wherever he was working).