Erika

cdcEngineDXHR. Decompilation of Deus Ex: Human Revolution

cant-believe-its-not-twitter. Twitter archive viewer, also takes WARC/HAR files as input

dxhr. Tools for processing data for Deus Ex: Human Revolution

yvis. bsp visibility precomputer, but in Rust

hello_evergreen. Draw a rectangle using ioctls to an AMD Evergreen GPU in Rust

chromium-referrer-backport. Arch Package for Chromium 109.0.5414.74 but stores user.xdg.referrer.url

proof-tools. Checkers and converters for (Q)SAT proofs and a btor2 to llvm converter (work in progress)

notes. (see the wiki)

demiurge. Mirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/

exdc-test. Verilog

vzhlt. Fork of VZHLT with an optimization for hlvis

xfce4-windowck-plugin. Xfce panel plugin which allows to put the maximized window title on the panel.

algovis. algorithm visualizations