Tools
SATySFi
gfngfn/SATySFi
A typesetting system with a statically typed, functional programming language. Authors write documents in LaTeX-like markup and define their own commands, then compile them directly to PDF.
Topics
Related projects
milewski-ctfp-pdf11.7kAn unofficial PDF and LaTeX source edition of Bartosz Milewski's Category Theory for Programmers, available for reading or rebuilding into book formats.
pandoc-latex-template7.3kEisvogel is a clean pandoc LaTeX template that turns Markdown files into polished PDF or LaTeX documents, aimed at lecture notes and technical writing.
resumake.io3.6kResumake is a free, open-source website that automatically generates elegant LaTeX resumes from a simple form, with no accounts, ads or data collection.
opam1.4kA source-based package manager for OCaml that supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly workflow.
hazel1.2kA live functional programming environment rooted in type theory that lets you edit, run, and explore programs with typed holes.
pdfcraft19.9kPdfCraft is an open-source, pure-Rust PDF reader and editor for desktop and web, with page organization, combining and splitting, annotations, forms, encryption and optional CLI/MCP automation.