A modern proof language

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

Terminal-based presentations using Pandoc

Project management directly from the TODOs in your codebase

a small .pdf management tool with a command-line UI

Pandoc based document editor and converter in your browser.

Fork of Pandoc for the implementation of a ScholarlyMarkdown parser

A simple expressions language with polymorphic extensible row types.

pulp: process your LaTeX log file with pulp and make a better paper