Pinned Repositories
gdk-pixbuf-vtf
Valve Texture Format library for Linux/Gnome - This is a GdkPixbuf image loader, which lets you browse VTF files in Nautilus or open them with Eog, letting you export them.
cant-believe-its-not-twitter
Twitter archive viewer, also takes WARC/HAR files as input
cdcEngineDXHR
Decompilation of Deus Ex: Human Revolution
chromium-referrer-backport
Arch Package for Chromium 109.0.5414.74 but stores user.xdg.referrer.url
dxhr
Tools for processing data for Deus Ex: Human Revolution
hello_evergreen
Draw a rectangle using ioctls to an AMD Evergreen GPU in Rust
proof-tools
Checkers and converters for (Q)SAT proofs and a btor2 to llvm converter (work in progress)
yvis
bsp visibility precomputer, but in Rust
rrika's Repositories
rrika/cdcEngineDXHR
Decompilation of Deus Ex: Human Revolution
rrika/dxhr
Tools for processing data for Deus Ex: Human Revolution
rrika/cant-believe-its-not-twitter
Twitter archive viewer, also takes WARC/HAR files as input
rrika/yvis
bsp visibility precomputer, but in Rust
rrika/chromium-referrer-backport
Arch Package for Chromium 109.0.5414.74 but stores user.xdg.referrer.url
rrika/hello_evergreen
Draw a rectangle using ioctls to an AMD Evergreen GPU in Rust
rrika/proof-tools
Checkers and converters for (Q)SAT proofs and a btor2 to llvm converter (work in progress)
rrika/exdc-test
rrika/notes
(see the wiki)
rrika/algovis
algorithm visualizations
rrika/demiurge
Mirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/
rrika/vzhlt
Fork of VZHLT with an optimization for hlvis
rrika/xfce4-windowck-plugin
Xfce panel plugin which allows to put the maximized window title on the panel.
rrika/cube2-rs
Cube 2: Sauerbraten file format reader and mesh converter
rrika/cumulative
an implementation of "Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n)" in Coq
rrika/ericw-tools
Quake/Hexen 2 Map compiling tools - branch of http://disenchant.net/utils
rrika/firefox-referrer-patch
Arch Linux package for firefox + patch to attach xdg.origin.url
rrika/fmodex-zdoom
:suspect: FMOD Ex Programmer’s API to use with (G)ZDoom and Zandronum :hurtrealbad:
rrika/gdk-pixbuf-vtf
Valve Texture Format library for Linux/Gnome - This is a GdkPixbuf image loader, which lets you browse VTF files in Nautilus or open them with Eog, letting you export them.
rrika/HLSLcc
DirectX shader bytecode cross compiler
rrika/HLSLCrossCompiler
rrika/keyboardlayouteditor
Keyboard Layout Editor
rrika/liteeth
Small footprint and configurable Ethernet core
rrika/nextpnr
nextpnr portable FPGA place and route tool
rrika/prjtrellis
Documenting the Lattice ECP5 bit-stream format.
rrika/quakeforge
rrika/rrika.github.io
page about me
rrika/snowflake2time
Converts twitter snowflake ids to UTC timestamps (unix epoch seconds or milliseconds) and back in php and python
rrika/twitter-openapi
OpenAPI(Swagger) specification of Twitter Internal API
rrika/unending_journey
A full record of your past adventures, in one massive volume.