A command-line todo list manager for people that want to finish tasks, not organize them. (git mirror)

Wirelessly connect, manage and control your Android devices from Linux ✨

Spruce is a lightweight cache cleaner and system maintenance tool designed for GNU/Linux.

A fast type checker and language server for Python

Safely execute untrusted code with ESM syntax support, dynamic injection of ESM modules from URL or plain JS code, and granular access control based on whitelisting for each JS object.

An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that foun…

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

The synaptic package manager

EasyMDE: A simple, beautiful, and embeddable JavaScript Markdown editor. Delightful editing for beginners and experts alike. Features built-in autosaving and spell checking.

Ace (Ajax.org Cloud9 Editor)