Typing the linear pi calculus in Agda

Functional computer hardware description language

R# extension that replaces dotPeek with ILSpy.

Assets archive for certain dead game

Please use the new one https://github.com/myssal/Reverse1999CN

Misc batch scripts to handle file extension

Arknights Desktop Pets | 明日方舟桌宠

Why do I have to ride this train, just to suffer?

AL Spine and Cubism l2d models

Small modified version for Limbus Company

New repo for 1999 cn assets

Girls' Frontline: Neural Cloud Asset

advanced one

C# modding swiss army knife, powered by cecil.

My changes to LSPosed

HACL*, a formally verified cryptographic library written in F*

Cryptographic routines for the Lean 4 language

typed finite-state machine

Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

Work-in-progress tool to reverse unity's IL2CPP toolchain.

Proton Mail Android app