Tux on Pixels - A pixel art icon theme for Linux
☆22Aug 10, 2021Updated 4 years ago
Alternatives and similar repositories for tuxonpixels-icon-theme
Users that are interested in tuxonpixels-icon-theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Chirurgien helps understand and manipulate file formats.☆33Feb 24, 2023Updated 3 years ago
- Zig built against xtensa fork of LLVM for targetting ESP32☆12Jul 21, 2020Updated 5 years ago
- MUSL libc port for UEFI☆11Sep 26, 2017Updated 8 years ago
- ☆13May 24, 2023Updated 2 years ago
- Morandi color palette for R plot☆11Nov 20, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Documentation of the game "Flugzeuge bauen mit Willy Werkel"☆11Mar 8, 2026Updated 2 weeks ago
- ☆17Jan 3, 2025Updated last year
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- virtualbox plugin for OpenMediaVault☆16Oct 5, 2019Updated 6 years ago
- Example project showing how Meson can be used to build mixed Rust/C projects☆21Jan 11, 2019Updated 7 years ago
- My portfolio website☆10Jan 23, 2026Updated 2 months ago
- Our application is the world’s first deployment of an idea based on network radio where we provide independent radio stations for a smart…☆16Mar 28, 2021Updated 4 years ago
- Free Terraria Hosts List aka. FTHL☆17May 16, 2025Updated 10 months ago
- An Android application, designed as a reference point, that implements an array of tamper and root detection methods - inspired by Google…☆15Jul 21, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Agda blog/lab/playground☆12Updated this week
- Shutdown menu for Linux desktop written in Python with GTK3.☆13Nov 13, 2022Updated 3 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A lightweight editor for modeling and simulation of planar linkages☆15Jul 4, 2019Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Nov 17, 2019Updated 6 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- Open Source Software used in Parrot Jumping Sumo☆10Apr 28, 2017Updated 8 years ago
- The configs I use for my programs☆10Dec 12, 2025Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- 🐡 Soothing pastel theme for Geany☆22Mar 30, 2025Updated 11 months ago
- Solus Artwork☆18Nov 15, 2025Updated 4 months ago
- SVG editor built with web components + hybrids. Try it at svgstud.io!☆21Jan 1, 2023Updated 3 years ago
- My arch/artix linux dotfiles including scripts and configurations for various programs☆15Aug 29, 2025Updated 6 months ago
- opencode plugin for rtk (rust token killer)☆64Mar 11, 2026Updated 2 weeks ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Simple Video to audio Converter☆12Aug 14, 2024Updated last year
- 🌟 ➥ Pixel Art icon pack for Linux. Icons for applications, folders and files, providing a cohesive and nostalgic look to your desktop en…☆13Mar 9, 2025Updated last year
- Discord: https://discord.opcrux.org/☆20Jan 29, 2024Updated 2 years ago
- Converts iTerm2's color schemes (plist files) to a JSON array useable in term.js and others☆20Dec 2, 2013Updated 12 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- my colorful bspwm environment☆16Sep 2, 2021Updated 4 years ago