-
RMPC-Auto-Theme Public
Forked from animegolem/RMPC-Auto-Themegenerates RMPC themes based on the most common colors in a tracks a album art. Leans on the "Execute on song change" functionality.
Rust MIT License UpdatedDec 20, 2025 -
noctalia-shell Public
Forked from noctalia-dev/noctalia-shellA sleek and minimal desktop shell thoughtfully crafted for Wayland.
QML MIT License UpdatedDec 18, 2025 -
alpm Public
Forked from archlinux/alpmProject that works on specifications, Rust libraries and tools for Arch Linux Package Management (read-only mirror)
Rust UpdatedDec 15, 2025 -
agda-unimath Public
Forked from UniMath/agda-unimathUnivalent mathematics in Agda
-
-
vscodium.github.io Public
Forked from VSCodium/vscodium.github.ioa landing page for info about vscodium
CSS MIT License UpdatedNov 11, 2025 -
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
-
deltachat-android Public
Forked from deltachat/deltachat-androidDecentralized private messenger with chat-shared tools and games for Android
Java GNU General Public License v3.0 UpdatedOct 28, 2025 -
AntennaPod Public
Forked from AntennaPod/AntennaPodA podcast manager for Android
Java GNU General Public License v3.0 UpdatedSep 28, 2025 -
pmf2speciate Public
Forked from leahgibson/pmf2speciateAutomated mapping of esat Positive Matrix Factorization (PMF) profiles to EPA SPECIATE emission sources using machine learning
Python UpdatedSep 6, 2025 -
TypeTopology Public
Forked from martinescardo/TypeTopologyLogical manifestations of topological concepts, and other things, via the univalent point of view.
-
HoTTEST-Summer-School Public
Forked from martinescardo/HoTTEST-Summer-Schoolmy solutions to exercises from HoTTEST Summer School 2022
{{ message }}