Free and Open Source, Distributed, RESTful Search Engine

Ghidra is a software reverse engineering (SRE) framework

Termux - a terminal emulator application for Android OS extendible by variety of packages.

a fast, scalable, multi-language and extensible build system

LSPosed Framework

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

A server software reimplementation for a certain anime game.

Apache Hadoop

Free implementation of Play Services

Modern Xposed Framework

configuration library for JVM languages using HOCON files

The main repository of Telegram X — official alternative Telegram client for Android.

QNotified phoenix - To make OICQ great again

Open-source third-party Telegram client with not many but useful modifications.

This repository is a mirror of https://gitea.angry.im/PeterCxy/Shelter. For bug reports, use https://lists.sr.ht/~petercxy/shelter

AFWall+ (Android Firewall +) - iptables based firewall for Android

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Open Source SMT Pick and Place Hardware and Software

Runtime environment based on OpenJDK for running IntelliJ Platform-based products on Windows, macOS, and Linux

Fork client of Telegram app for Android.

Migrated:

The Arend Proof Assistant

A Xposed/LSPosed plugin to dump stickers from Telegram. Almost all 3rd-party telegram clients are supported.

A proof assistant and a dependently-typed language

Minecraft mod that adds survival features to increase difficulty and realism, including thirst, body temperature, and more!

Repository to store exploits created by Assetnotes Security Research team