Explore projects
-
Web-based user interface for the hledger accounting system
packages: hledger-web
Updated -
The Tamarin prover for security protocol analysis
packages: tamarin-prover
Updated -
A distributed, interactive, smart revision control system
packages: darcs
Updated -
Typeface family designed for coding, terminal use and technical documents.
packages: ttc-iosevka ttc-iosevka-aile ttc-iosevka-curly ttc-iosevka-curly-slab ttc-iosevka-etoile ttc-iosevka-slab ttc-iosevka-ss01 ttc-iosevka-ss02 ttc-iosevka-ss03 ttc-iosevka-ss04 ttc-iosevka-ss05 ttc-iosevka-ss06 ttc-iosevka-ss07 ttc-iosevka-ss08 ttc-iosevka-ss09 ttc-iosevka-ss10 ...
Updated -
Mighty, modern CSS linter
packages: stylelint
Updated -
Static file serving subsite for Yesod Web Framework.
packages: haskell-yesod-static
Updated -
Library for building powerful interactive command lines in Python
packages: python-prompt_toolkit
Updated -
High-performance, extensible DHCP server engine from ISC, supporting both DHCPv4 and DHCPv6
packages: kea kea-docs
Updated -
Distribute hackage packages to archlinux
packages: arch-hs
Updated -
-
-
Arch Linux official and AUR web interface binding
packages: haskell-arch-web
Updated -
Integration testing for WAI/Yesod Applications
packages: haskell-yesod-test
Updated -
A tool to clone git repositories to a standard location organised by domain and path
packages: git-grab
Updated -
Client for Coinbase Pro
packages: haskell-coinbase-pro
Updated -
Authentication for Yesod.
packages: haskell-yesod-auth
Updated -
Conversion between documentation formats
packages: pandoc-cli
Updated -
Creation of type-safe, RESTful web applications.
packages: haskell-yesod
Updated -
Functional Programming Language with Dependent Types
packages: idris
Updated -
Content addressable Haskell package management
packages: haskell-pantry
Updated