Universal markup converter

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Terminal-based presentations using Pandoc

The Eta Programming Language, a dialect of Haskell on the JVM

Automatic testing of Haskell programs.

Release with confidence, state-of-the-art property testing for Haskell.

Generator of runtime monitors for flight and robotics applications.

Functional Reactive Programming domain-specific language for efficient hybrid systems

Haskell on Apache Spark.

A fast, high quality library for computing with statistics in Haskell.

An automatic uploader to upload answer files to the University of Warwick's Alternative Exam Portal

A bot which can lock and unlock Discord channels for exams, designed for the University of Warwick exam process

A Discord bot to help with games of Nomic. Written in Haskell.

Examples shown in the Functional Programming II lectures