The github page is https://github.com/GiggleLiu/NiLang.jl.

Search “Reversible Computing” and “Reversible programming” for more discussions about reversible programming in Hacker news.