Grammars written for ANTLR v4; expectation that the grammars are free of actions.

KaRaMeL is a tool for extracting low-level F* programs to readable C code

像黑客一样使用命令行

Test-Driven Development with FastAPI and Docker

LaTeX中文书籍模板

This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

A beautiful, simple, clean, and responsive Jekyll theme for academics

Homework Submission, Automated Grading, and TA grading system.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

500 Lines or Less

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static a…

Minimal example utilizing fastapi and celery with RabbitMQ for task queue, Redis for celery backend and flower for monitoring the celery tasks.

ART环境下自动化脱壳方案

Fast search and dump dex on memory.

KLEE Symbolic Execution Engine

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

SeaHorn Verification Framework

安卓应用安全学习

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

The Linux Programming Interface by Michael Kerrisk - Distribution Version

UI Automation Framework for Games and Apps

关于Python的面试题

Ip2region is a offline IP location library with accuracy rate of 99.9% and 0.0x millseconds searching performance. DB file is less then 5Mb with all ip address stored. binding for Java,PHP,C,Python…

Backend logic implementation for https://github.com/gothinkster/realworld with awesome FastAPI

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.