Etn40ff

dockerized-snx

Dockerized client for Checkpoint VPN using snx client.

linux-remarkable

Linux kernel for reMarkable 1 & 2. zero-sugar is rM2 and zero-gravitas is rM1. zero-colors is Linux 5.4 for both rM1 and rM2.

remarkable-pendisplay

Setup needed to use a remarkable tablet as a pen display on a linux host

toltec

Community-maintained repository of free software for the reMarkable tablet.

affine_dominance

alpine-packages

chromatic_symmetric_homology

Code for computing chromatic symmetric homology

cluster_poisson-lie

coordSections

double_principal_computations

Random pieces of experimental software for double bruhat cells and cluster algebras

firmware-xiaomi-sweet

Nonfree firmware blobs for Xiaomi Redmi Note 10 Pro

level_zero

linux

Linux kernel source tree

mathematica

Bits and pieces of my Mathematica setup

netevent

Input-Event device cloning utility. Use it together with ssh/netcat/... to share input devices among different machines.

papis

Powerful and highly extensible command-line based document and bibliography manager.

papis-rofi

Rofi based papis interface

portage

My personal portage overlay

qtile

A small, flexible, scriptable tiling window manager written in Python

rank2_dominance

rm2-experiments

My playground for rm2 related stuff

sage

My fork of sagemath/sage

sage-archived-20230206

My patches to sage

sage-on-gentoo

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

scattering_sections

scripts

Repository with useful papis scripts

sm7150-mainline_postmarketos

part from pmaports

Tilings

toolchain

Set of Docker images for cross-compiling binaries targeting the reMarkable tablet.

vnsee

VNC client for the reMarkable tablet allowing you to use the device as a second screen