Stars
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
a highly automated and intuitive digital audio workstation - official mirror
Task manager with Todoist & Nextcloud support designed for GNOME
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
Lean 4 programming language and theorem prover
Empowering everyone to build reliable and efficient software.
A cross-platform, OpenGL terminal emulator.
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
Dark Reader Chrome and Firefox extension
A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.