risa243

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

aarch64-cpu

Low level access to processors using the AArch64 execution state.

acmicpc

android-interview-questions

Your Cheat Sheet For Android Interview - Android Interview Questions

codejam

fscq

FSCQ is a certified file system written and proven in Coq

interviews

Everything you need to know to get the job.

multiverse

A static binary rewriter that does not use heuristics

obfusion

Obfusion - C++ X86 Code Obfuscation Library

ppsspp

A PSP emulator for Android, Windows, Mac and Linux, written in C++. Want to contribute? Join us on Discord at https://discord.gg/5NJB6dD or in #ppsspp on freenode (IRC) or just send pull requests / issues. For discussion use the forums on ppsspp.org.

samsungctf_2018_quals_writeup

rust-raspberrypi-OS-tutorials

:books: Learn to write an embedded OS in Rust :crab:

simple-event-loop

Java event loop for simple projects

sqlcipher-gradle

Proof of concept of AAR packaging of SQLCipher for Android

Tigress_protection

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

uroboros

Infrastructure for Reassembleable Disassembling and Transformation