Explore projects

High-performance theorem prover

packages: z3 python-z3-solver

Xfce's session manager

packages: xfce4-session

Notification daemon for the Xfce desktop

packages: xfce4-notifyd

Open Source 3D acceleration driver for nVidia cards

packages: xf86-video-nouveau

Backend implementation for xdg-desktop-portal for the GNOME desktop environment

packages: xdg-desktop-portal-gnome

A utility providing key negotiation for WPA wireless networks

packages: wpa_supplicant

Highly customizable Wayland bar for Sway and Wlroots based compositors

packages: waybar

Software system for 3D computer graphics, image processing, and visualization

packages: vtk

Vi Improved, a highly configurable, improved version of the vi text editor

packages: vim gvim vim-runtime

Sans-serif typeface commissioned by Google

packages: ttf-opensans

Fast, easy, and free BitTorrent client (CLI tools, daemon and web client)

packages: transmission-cli transmission-gtk transmission-qt libtransmission

A windowing toolkit for use with tcl

packages: tk

Standalone mail and news reader from mozilla.org

packages: thunderbird thunderbird-i18n-af thunderbird-i18n-ar thunderbird-i18n-ast thunderbird-i18n-be thunderbird-i18n-bg thunderbird-i18n-br thunderbird-i18n-ca thunderbird-i18n-cak thunderbird-i18n-cs thunderbird-i18n-cy thunderbird-i18n-da thunderbird-i18n-de thunderbird-i18n-dsb thunderbird-i18n-el thunderbird-i18n-en-gb ...

TeX Live -

packages: texlive-doc texlive-meta texlive-basic texlive-bibtexextra texlive-binextra texlive-context texlive-fontsextra texlive-fontsrecommended texlive-fontutils texlive-formatsextra texlive-games texlive-humanities texlive-langarabic texlive-langchinese texlive-langcjk texlive-langcyrillic ...

Library for computation using data flow graphs for scalable machine learning

packages: tensorflow tensorflow-opt tensorflow-cuda tensorflow-opt-cuda python-tensorflow python-tensorflow-opt python-tensorflow-cuda python-tensorflow-opt-cuda

system and service manager

packages: systemd systemd-libs systemd-resolvconf systemd-sysvcompat systemd-tests systemd-ukify

Client for spotify's apt repository in Rust for Arch Linux

packages: spotify-launcher

A secure enclave signing solution

Full-screen window manager that multiplexes a physical terminal

packages: screen

A window switcher, application launcher and dmenu replacement

packages: rofi