The Software I Use

My personal software recommendations. The software listed in here mostly comes from the following resources, but ultimately I really use it:

Document Preparation

LaTeX

LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. (www.latex-project.org/)

Asciidoctor

A fast text processor & publishing toolchain for converting Asciidoc to HTML5, DocBook & more. (asciidoctor.org/)

AsciiMath

AsciiMath is an easy-to-write markup language for mathematics. (asciimath.org/)

LaTeX Beamer

A LaTeX class for producing presentations. (github.com/josephwright/beamer)

Impressive

Impressive is a program that displays presentation slides. (impressive.sourceforge.net/)

Xournal++

Xournal++ is an cross-platform, open source, hand note-taking software with the target of flexibility, functionality, and speed. It is a modern rewrite and more feature-rich version of the wonderful Xournal program. (xournalpp.github.io/)

Terminal & Shell

Alacritty

Alacritty is the fastest terminal emulator in existence. (github.com/alacritty/alacritty)

Friendly Interactive Shell

Finally, a command line shell for the 90s (fishshell.com/)

tmux

tmux is a terminal multiplexer: it enables a number of terminals to be created, accessed, and controlled from a single screen. (github.com/tmux/tmux)

ShellCheck

Finds bugs in your shell scripts. (www.shellcheck.net/)

entr

Run arbitrary commands when files change. (eradman.com/entrproject/)

Email

NeoMutt

NeoMutt is a command line mail reader. (neomutt.org/)

mutt-wizard

A system for automatically configuring mutt and isync with a simple interface and safe passwords (github.com/LukeSmithxyz/mutt-wizard)

Software Developtment

Make

Make is the build automation tool.

Stack

Stack is a cross-platform program for developing Haskell projects. (docs.haskellstack.org/en/stable/README/)

HLint

Haskell source code suggestions. (github.com/ndmitchell/hlint)

Cargo

Cargo is the Rust package manager. (doc.rust-lang.org/stable/cargo/)

Deno

A secure runtime for JavaScript and TypeScript. (deno.land/)

Converters & Processors

ffmpeg

A complete, cross-platform solution to record, convert and stream audio and video. (ffmpeg.org/)

ImageMagick

Use ImageMagick to create, edit, compose, or convert bitmap images. (imagemagick.org/index.php)

Pandoc

If you need to convert files from one markup format into another, pandoc is your swiss-army knife. (pandoc.org/)

jq

jq is a lightweight and flexible command-line JSON processor. (stedolan.github.io/jq/)

Mathematics

Mathics

Mathics is a free, open-source general-purpose online computer algebra system featuring Mathematica-compatible syntax and functions. (mathics.org/)

Stuff used in this website

Jekyll

Transform your plain text into static websites and blogs (jekyllrb.com/)

jekyll-asciidoc

A Jekyll plugin that converts Asciidoc source files in your site to HTML pages using Asciidoctor (github.com/asciidoctor/jekyll-asciidoc)

asciidoctor/asciimath

A pure Ruby AsciiMath parsing and conversion library. (rubygems.org/gems/asciimath)

latexmath

Converts LaTeX math into MathML (rubygems.org/gems/latexmath)

Haml

Beautifully DRY, well-indented, clear markup: templating haiku (haml.info)

lazygal

lazygal is another static web gallery generator written in Python. (sml.zincube.net/~niol/repositories.git/lazygal/about/)

stagit

stagit a static git page generator (codemadness.org/stagit.html)

nginx

nginx is an HTTP and reverse proxy server, a mail proxy server, and a generic TCP/UDP proxy server (nginx.org/en/)

certbot

Certbot is EFF’s tool to obtain certs from Let’s Encrypt and (optionally) auto-enable HTTPS on your server (github.com/certbot/certbot)

cmark

cmark is the C reference implementation of CommonMark, a rationalized version of Markdown syntax with a spec. It provides a shared library (libcmark) with functions for parsing CommonMark documents to an abstract syntax tree (AST), manipulating the AST, and rendering the document to HTML, groff man, LaTeX, CommonMark, or an XML representation of the AST. It also provides a command-line program (cmark) for parsing and rendering CommonMark documents. (github.com/commonmark/cmark)