PARI/GP Scripts for Miscellaneous Math Problems

Keeping track of companies that "care about your data 🥺"

Module for basic math in the general vicinity of computational number theory

System Information and Benchmark for Linux Systems

The “Quite OK Image Format” for fast, lossless image compression

Restricted GMaps WebView

Content of Online Encyclopedia of Integer Sequences (OEIS)

Acode - powerful text/code editor for android

Utility for factoring numbers using trial factoring, ECM and NFS.

A simple calendar with events, customizable widgets and no ads.

Easy and quick contact management with no ads, handles groups and favorites too.

A handy phone call manager with phonebook, number blocking and multi-SIM support

An easy and quick way of managing SMS and MMS messages without ads.

A media player for android, based on mpv-android and built with Jetpack Compose.

Code for my contributions to the OEIS.

Customizable and privacy-conscious open-source keyboard

Lightning fast, open-source, < 250kb Android launcher

NewPipe's core library for extracting data from streaming sites

math/cs publications I find useful

Aves is a gallery and metadata explorer app, built for Android with Flutter.

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…

Cromite a Bromite fork with ad blocking and privacy enhancements; take back your browser!

An open source, non-profit web search engine

Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.

A lightweight YouTube client for Linux, without requiring an API key.

Command-line Git information tool

Another notes app for Android, like there have been tens of thousands before.

Extremely Fast Compression algorithm

XZ Utils

Small & portable byte-aligned LZ77 compression