LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.
Read more
Tag: Haskell
Matterhorn – feature-rich Mattermost client
Matterhorn is a Mattermost client with threads, reactions, file transfers, Markdown rendering, search, themes and configurable key bindings.
Read more
Tilia – formatter for Haskell source code
Tilia is a Haskell source code formatter with Cabal project awareness, precise fixity handling, CPP support and careful comment formatting.
Read more
hympd – simple responsive web interface for MPD
hympd is a lightweight responsive web interface for MPD with queue management, search, playback controls, themes and Vim-style navigation.
Read more
CodeWorld – web-based educational programming environment
CodeWorld is a web-based educational programming environment built around Haskell.
Read more
4 Useful Free and Open Source Haskell TUI Frameworks
The software featured in this roundup helps developers create TUI programs. All the software featured is written in Haskell.
Read more
reflex-vty – build terminal applications using functional reactive programming
reflex-vty is a Haskell library for building terminal applications using functional reactive programming.
Read more
tick-tock-tui – check the latest Bitcoin data
tick-tock-tui is a terminal user interface for checking the latest Bitcoin data.
Read more
7 Best Free and Open Source Haskell Static Site Generators
All of these tools are released under a freely distributable license.
Read more
Emanote – creates structured websites from plain-text notes
Emanote can be used to publish a personal website, blog, wiki, Zettelkasten, notebook, knowledge base, or documentation site.
Read more
TaskLite – CLI task manager
TaskLite is a task manager built with Haskell and SQLite.
Read more
8 Best Free and Open Source Haskell Linter Tools
A linter is a tool used to analyze source code for potential errors, stylistic issues, and adherence to coding standards.
Read more
Stan – Haskell STatic ANalyser
Stan uses GHC-generated HIE files to inspect source code, identify code that could be improved, and offer guidance.
Read more
Weeder – perform whole-program dead-code analysis
Weeder is a command-line utility for Haskell that performs whole-program dead-code analysis.
Read more
hawk – Haskell text processor for the command-line
Hawk is a command-line text processor that brings Haskell expressions to shell pipelines.
Read more
haskeline – CLI for user input
Haskeline provides a user interface for line input in command-line programs. This library is similar in purpose to readline
Read more
vty – terminal interface library
vty is a terminal interface library. It provides a high-level interface for doing terminal I/O.
Read more
brick – Haskell TUI programming toolkit
brick is a Haskell terminal user interface (TUI) programming toolkit.
Read more
Bark – static site generator
Bark is a Haskell static site generator intended to be dead simple, yet extensible enough to allow plugins and templates.
Read more
Linux Candy: Fractal Art – desktop wallpaper generator
Fractal Art is software which generates colorful wallpapers. It’s free and open source software written in Haskell.
Read more