Stars
Export your personal data in one click
Random bits of Lean code, mostly for the learning purpose
This is the way I manage different folder structures for myself.
Rich is a Python library for rich text and beautiful formatting in the terminal.
Fix Play Integrity (and SafetyNet) verdicts.
List contens of, unpack, and convert Android Backup files to TAR files and back, decrypt, encrypt, split them into by-app pieces, etc. Android Backup files are `backup.ab`, `*.ab`, `*.adb`, and sim…
A Collection of Awesome Personal Search Engines and Related Projects
A Social Annotation Tool Powered by Matrix
A fast file search utility for Unix-like systems based on GTK3
Backport of pathlib aiming to support the full stdlib Python API.
cookiecutter template for a strongly typed python package w/ click, pytest, mypy, flake8 and CI using github actions
Extensible memoizing collections and decorators
Modern Android client for Hacker News
Outliner for taking notes and managing to-do lists
🚴 Call stack profiler for Python. Shows you why your code is slow!
Replace the shit💩 new feed with the old one.
Pixel™ phone flashing GUI utility with features.
testing how concurrent write locking/timeouts works with webservers/sqlite3
An elisp library for working with sub-processes
Passively capture, archive, and hoard your web browsing history, including the contents of the pages you visit, for later offline viewing, mirroring, and/or indexing. Your own personal private Wayb…
Free and Open Source Photo Libraries
A fast, extensible and spec-compliant Markdown parser in pure Python.
An awesome & curated list to plugins and themes to Obsidian.md