You might be interested in https://docs.racket-lang.org/xiden-guide/index.html https://docs.racket-lang.org/xiden-guide/index.html (Sage also gave a talk at Rac

You might be interested in https://docs.racket-lang.org/xiden-guide/index.html https://docs.racket-lang.org/xiden-guide/index.html (Sage also gave a talk at RacketCon 2020 about it).