Contains a modified version of the sdq latex templates, compatible with pdflatex and lualatex.

ansible roles for LAS computers

Companion projects for my e-books and paper books.

the Reinforcement Learning on ZYNQ MPSoc, the inference happens on FPGA generate the fast feedback control, the ARM finish the training process after every step

This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.

One web interface to rule them all!

A Seismologist's Tool Shed

Tools for combining KeY with Joana.

A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.