Explore projects

Project that works on specifications, Rust libraries and tools for Arch Linux Package Management

A desktop bar similar to xmobar, but with more GUI

packages: taffybar

Retrie integration plugin for Haskell Language Server

packages: haskell-hls-retrie-plugin

A lightweight drawing tool for Linux Deepin

packages: deepin-draw

HLS Plugin to expand TemplateHaskell Splices and QuasiQuotes

packages: haskell-hls-splice-plugin

Rename plugin for Haskell Language Server

packages: haskell-hls-rename-plugin

Convert to GADT syntax plugin

packages: haskell-hls-gadt-plugin

A standalone StatusNotifierItem/AppIndicator tray

packages: haskell-gtk-sni-tray

Third party extensions for xmonad with wacky dependencies

packages: xmonad-extras

Exactprint refactorings for Haskell Language Server

packages: haskell-hls-refactor-plugin

An easy to use calculator for ordinary users

packages: deepin-calculator

Calendar for Deepin Desktop Environment

packages: deepin-calendar

Gtk bindings

packages: haskell-gi-gtk

Community-maintained extensions for xmonad

packages: xmonad-contrib

The Tamarin prover for security protocol analysis

packages: tamarin-prover

Hlint integration plugin with Haskell Language Server

packages: haskell-hls-hlint-plugin

Manage files with git, without checking their contents into git

packages: git-annex

Refine imports plugin for Haskell Language Server

packages: haskell-hls-refine-imports-plugin

Cabal package script generator for Travis-CI

packages: haskell-ci

DbusmenuGtk bindings

packages: haskell-gi-dbusmenugtk3