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/)

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)

lazygal

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

nginx

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