Stars
A drop-in, 5-20x faster, experimental Homebrew alternative
Social reading and reviewing, decentralized with ActivityPub
Automatically archive links to videos, images, and social media content from Google Sheets (and more).
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
Minimalist, data-oriented pomodoro timer for Android based on Material 3 Expressive
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
Mirrored from https://codeberg.org/kramo/cartridges
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
Penpot: The open-source design tool for design and code collaboration
A modern music player for Android powered by Media3, offering advanced features and a smooth listening experience, and which is indeed developed by an organic intelligence.
🎓 Path to a free self-taught education in Computer Science!
Make Zotero effective for us LaTeX holdouts
A curated list of static web site generators.
Google Chromium, sans integration with Google
🏆 A ranked list of awesome projects related to Typst, or the charted dark matter in Typst Universe (TCDM). 🌌
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.
A light weight music player written in GTK4, with a fluent adaptive user interface.