Lists (13)
Starred repositories
Red Alert 2: Yuri's Revenge rebuilt in Rust / 用 Rust 重写的《红警2：尤里的复仇》
Reverse engineer anything with agents, from app behavior down to native binaries.
Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.
Formally Verified Float Implementation with lean4
FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard
A verification toolchain for Rust programs
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
Positron: an Electron (v8 nodejs) DLL injection based JS injection engine
Godot Engine – Multi-platform 2D and 3D game engine
Manage Godot versions and addons from the command line on Windows, macOS, and Linux.
Adds keyboard accessibility for the blind to RimWorld by Ludeon Studios
Screen reader accessibility mod for DRAGON BALL: Sparking! ZERO
The World's First Universal Mod Loader for Unity Games compatible with both Il2Cpp and Mono
The swiss army knife of lossless video/audio editing
A standalone C implementation of inverse-trigamma for variance moderation techniques, with Python and R bindings
An open-source, from scratch clone of Muse Dash (a parkour rhythm game).
Universal modifier for Chromium/V8 | 广谱注入 Chromium/V8 的通用修改器
A cross platform screen reader interfacing library.
Integrate Talon voice dictation commands with TTS, screen readers, braille, and more!
A bridge between Windows applications and Speech dispatcher
Mods to further enhance accessibility in Pokémon Reborn