Anton's starred repositories
Awesome-Hyperbolic-Representation-and-Deep-Learning
Paper list about hyperbolic embedding, hyperbolic models,hyperbolic applications
Operads-HoTT
An operad library in cubical agda
awesome-pretrained-stylegan2
A collection of pre-trained StyleGAN 2 models to download
nix-security-box
Tool set for Information security professionals and all others
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
BlueJ-Greenfoot
BlueJ and Greenfoot
stable-diffusion-webui
Stable Diffusion web UI
rom-properties
ROM Properties Page shell extension
melody_windows
Melody Optimization Script for Windows
windows-defender-remover
A tool which is uses to remove Windows Defender in Windows 8.x, Windows 10 (every version) and Windows 11.
linux-insides
A little bit about a linux kernel
awesome-golem
A community-curated list of awesome projects and resources related to the Golem peer-to-peer computational resources marketplace.
firmware_vault
A repo for all Apple EFI firmware files
darwin-xnu
Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu