Those Hex displays appear to be the common garden Texas Instruments TIL311, these have been around since the 1970's. They are readily available from a number of sellers, I have a box of them:
Find many great new & used options and get the best deals for QTY 1 TIL311 - 8531 Texas Instruments Hexadecimal Display - TI - Red - Rare at the best online prices at eBay! Free shipping for many products!
www.ebay.com
(interestingly Innocor in Canada once made a low power CMOS version of them. I think I bought the remainder of their stock. In the past I made these into a 12/24 hr up down clock with 4000 series cmos IC's pic attached).
There is a modern replacement for them too : Avago / Broadcom HDSP -0962 bright green, or red hexadecimal displays, super quality displays. I used these in the keyboard diagnostic instrument in this article:
I also once made a 16 bit binary to to decimal converter that used the TIL311's, it had a very short latency of 350nS to do the conversion. I made it because binary was messing with my head for a project and I wanted to immediately see the decimal value. It came out as a handy sort of "logic probe" for other problems too, I made it with a manual or external data latch input so it could capture transient binary values. It was quite power hungry with all the TTL IC's and I had to ventilate the housing with a fan