Explore projects

A secure enclave signing solution

An ICC compatible color management system with support for different colorimeter hardware

packages: argyllcms

General-purpose build system modelled after Scons

packages: waf

Media player for Linux

packages: mplayer mencoder

Grammar and typographic checker dedicated to the French language – standalone version

packages: grammalecte

A free C++ class library of cryptographic schemes

packages: crypto++

A set of programs to assemble and manipulate binary and object files for the ARM64 target

packages: aarch64-linux-gnu-binutils

Provides support for web applications using the Chromium browser project

packages: qt6-webengine

Signal Private Messenger for Linux

packages: signal-desktop

Feature based parametric 3D CAD modeler

packages: freecad

The Haskell Tool Stack

packages: stack

Manage files with git, without checking their contents into git

packages: git-annex

The Tamarin prover for security protocol analysis

packages: tamarin-prover

Web-based user interface for the hledger accounting system

packages: hledger-web

A distributed, interactive, smart revision control system

packages: darcs

Static file serving subsite for Yesod Web Framework.

packages: haskell-yesod-static

A mustache template parser library.

packages: haskell-mustache

Type-safe EDSL for SQL queries on persistent backends.

packages: haskell-esqueleto

Authentication for Yesod.

packages: haskell-yesod-auth