Richard Hajek's starred repositories
Awesome-Linux-Software
🐧 A list of awesome Linux softwares
universal-android-debloater
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
awesome-godot
A curated list of free/libre plugins, scripts and add-ons for Godot
cppinsights
C++ Insights - See your source code with the eyes of a compiler
the-mirror
The open-source Roblox & UEFN alternative giving you freedom to own what you create. An all-in-one, real-time, collaborative game development platform built on Godot.
filesystem_spec
A specification that python filesystems should adhere to.
OpenFactVerification
Loki: Open-source solution designed to automate the process of verifying factuality
mountaineer
Mountaineer is a batteries-included web framework for Python.
openapi-autospec
Proxy server that generates API specs for any app or website on localhost.
checkedthreads
checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
enderdragon
Ghidra in Minecraft
LegacyLauncher
Legacy custom launcher for installing and updating Spoutcraft and Minecraft.
LLMs-World-Models-for-Planning
The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning".