A tiling window manager for Wayland, written and configured in Haskell.

dot-home: Version-controlled Construction of Unix User Configuration

Liquid Types For Haskell

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Style your webpage like Edward Tufte’s handouts.

Convert Pandoc Markdown-style footnotes into sidenotes

A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL reference compositor with Haskell bindings, allowing …

Pop!_OS Shell

The K semantics of IMP and associated tools

Easy and full-automated markdown setup for technical documents.

Universal markup converter

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

An open source re-implementation of Caesar III

Create beautiful diagrams just by typing notation in plain text.

Simple tangler for Pandoc

Modular wayland window manager written in rust

Abbreviations that only happen outside comments

The K tools (deprecated, see README)

This repository contains the Maude 2 interpreter source tree.

Run automated tests against a range of Git commits and keep track of the results

Fast math typesetting for the web.

Common assertions for Bats

Bash Automated Testing System

[DEPRECATED - use clasp instead] The easiest way to develop Google Apps Script projects

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

GPX Animator

Functional Programming with Friends Website