The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
Why do you think that https://github.com/jupyter-xeus/xeus-cling is a good alternative to awesome-theoretical-computer-science