Aldwin Vlasblom Avaq

Backup android app, data included, no root needed, with adb

Note: This gist may be outdated, thanks to all contributors in comments.

adb is the Android CLI tool with which you can interact with your android device, from your PC

You must enable developer mode (tap 7 times on the build version in parameters) and install adb on your PC.

Don't hesitate to read comments, there is useful tips, thanks guys for this !

Algebraic Law Cheatsheet

An overview of algebraic laws from the perspective of a functional programmer. I've used a Haskell-esque syntax for the definitions of the laws and examples.

General Laws

name	definition	example
Identity [¹][]	`f x = x`	`add 0 42 = 42`

	-- Create our directories table.
	CREATE TABLE `directories` (
	`id` int(11) NOT NULL AUTO_INCREMENT,
	`name` varchar(255) DEFAULT NULL,
	`lft` int(11) NOT NULL,
	`rgt` int(11) NOT NULL,
	PRIMARY KEY (`id`),
	UNIQUE KEY `directory_lft` (`lft`),
	UNIQUE KEY `directory_rgt` (`rgt`)
	) ENGINE=InnoDB DEFAULT CHARSET=utf8;

	// ============================================================================
	// PACKAGE VERSIONS (2025-07-30)
	// ============================================================================
	//
	// Dependencies:
	// - effect: 3.17.3
	// - @effect/platform: 0.90.0
	// - @effect/rpc: 0.68.0
	//
	// ============================================================================