Resources
milewski-ctfp-pdf
hmemcpy/milewski-ctfp-pdf
An unofficial PDF and LaTeX source edition of Bartosz Milewski's Category Theory for Programmers, available for reading or rebuilding into book formats.
Topics
Related projects
SATySFi1.2kA 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.
ultimate-beamer-theme-list1.8kA curated list of community LaTeX Beamer presentation themes with previews and links, maintained as a reference for people building slide decks.
ebooks569A curated collection of information-technology ebooks covering AI, algorithms, programming languages, databases, networking, and more, shared for learning and non-commercial study.
PDFMathTranslate38.4kAn AI application for translating scientific PDFs while preserving layout, formulas, and figures, with CLI, GUI, Docker, and online service.
lila19kA free open-source online chess server for real-time games, tournaments, puzzles, analysis, and community play.
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.