Annotate.el

Hakyll utilities to work with images

Source code for the nLab

Pandoc filters for scientific writing

Write LaTeX theorems in Pandoc Markdown

Search and manage bibliographies in Emacs

A custom org link type for pdf-tools

A static website compiler library in Haskell

A client for Language Server Protocol servers

A port of Lanyon theme for the Haskell-based static generator Hakyll

How to use hakyll together with citeproc for bibliographies on your website

Drag and drop images directly into markdown-mode emacs buffer

A presenter console with multi-monitor support for PDF files.

The entrance repository of Markdown presentation ecosystem

A digital archive of category theory papers.

Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future growth.

A Haskell library for converting LaTeX math to MathML.

Elisp library for the OpenAI API

The collected works of F. W. Lawvere

Emacs support library for PDF files.

Use ChatGPT inside Emacs

Generates truth tables for formulas of sentential logic

Elisp library for reading .bib files

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Minimalist Hugo template for academic websites

Obsidian Notes for Emacs

Simple, faithful BibTeX parser and algorithms for Python 3

Generate personal publication lists from bibtex files

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.