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

Powerful x86 virtualization for enterprise as well as home use

packages: virtualbox virtualbox-sdk virtualbox-host-dkms virtualbox-guest-utils virtualbox-guest-utils-nox virtualbox-ext-vnc

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

A windowing toolkit for use with tcl

packages: tk

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

An interior design application to draw the plan of your house in a 3D environment

packages: sweethome3d

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