Explore projects
-
-
Arch Linux / aurweb
GNU General Public License v2.0 or laterHosting platform for the Arch User Repository (AUR), a collection of packaging scripts created by the Arch Linux community
Updated -
Arch Linux / Arch Linux Keyring
GNU General Public License v3.0 or laterArch Linux PGP keyring
Updated -
Pacman / Pacman
GNU General Public License v2.0 or laterPacman - package management combining a simple binary package format with an easy-to-use build system.
Use the mailing list for early feature/implementation discussion.
Updated -
Pacman / Namcap
GNU General Public License v2.0 or laterUpdated -
Arch Linux / dbscripts
GNU General Public License v2.0 or laterArch Linux repository management scripts
Updated -
Arch Linux / devtools
GNU General Public License v3.0 or laterTools for Arch Linux package maintainers
Updated -
Arch Linux / Mkinitcpio / mkinitcpio
GNU General Public License v2.0 or laterArch Linux initramfs generation tools
Updated -
A dependently typed functional programming language and proof assistant
packages: agda
Updated -
-
Correct, reproducible, and fast builds for everyone
packages: bazel
Updated -
A fast Bayesian spam filtering tool
packages: bogofilter-db bogofilter-kyotocabinet bogofilter-lmdb bogofilter-sqlite
Updated -
Common CA certificates
packages: ca-certificates-utils ca-certificates
Updated -
Highly portable CD/DVD/BluRay command line recording software
packages: cdrtools
Updated -
A web browser built for speed, simplicity, and security
packages: chromium
Updated -
An event driven initramfs infrastructure
packages: dracut
Updated -
EGLStream-based Wayland external platform
packages: egl-wayland
Updated -
Cross-platform QtWebEngine browser
packages: falkon
Updated -
A functional programming language for realtime audio signal processing.
packages: faust
Updated -
Complete solution to record, convert and stream audio and video
packages: ffmpeg
Updated