1305 Open source projects that are alternatives of or similar to Milewski Ctfp Pdf

A statically-typed, functional typesetting system

A simple visual editor for creating commutative diagrams.

Functional programming great resources

A fast DVI, EPS, and PDF to SVG converter

A modern commutative diagram editor for the web.

📝 A website for automatically generating elegant LaTeX resumes.

A naive approach to functional programming using TypeScript

Examples with Functional JavaScript, following Professor Frisby's course

Converts books written in Markdown to HTML, LaTeX/PDF and EPUB

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

Category theory in the context of (functional) programming

Travis CI and deployment service to build PDF from LaTeX document.

Pandoc template for writing Markdown letters (DIN 5008)

A vector drawing editor for LaTeX (JavaFX).

Finest letter typesetting from the command line

明朝那些事儿（全七卷）

👾 My resume / 我的简历

A more accurate representation of jupyter notebooks when converting to pdfs.

Λrrow - Functional companion to Kotlin's Standard Library

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

Online latex compiler. You give it a link, it gives you PDF

JupyterLab extension for live editing of LaTeX documents

A collection of custom Beamer themes

A docker container containing an installation of texlive as well as several useful scripts.

A library for functional programming in Rust

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

Simple automated LaTeX invoicing system

Categorical Query Language IDE

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

📄 Awesome CV is LaTeX template for your outstanding job application

Using Jekyll to create outputs that can be used as Pandoc inputs. In short - input markdown, output mobi, epub, pdf, and print-ready pdf. With a focus on fiction.

latex live preview - plugin for neovim and vim 8

λΠ Programming Language Theory

Tool for writing and generating interactive books.

Programmatic generation of high-quality CVs

Experimental library for currying in C++17

Resume Builder is a free open-source project that allows anyone to easily maintain and build any kind of resume.

Functional additions to C

Binding between scodec and FS2

A Coq-based synthesis of Scala programs which are correct-by-construction

Generate a simple invoice PDF from HTML using puppeteer & handlebars

⚒ Supercharge command-line publication workflow.

A simple LaTeX template for software engineering resumes.

基于腾讯浏览服务Tbs,使用X5Webkit内核,实现文件的展示功能，支持多种文件格式

This library reads word documents (.doc and .docx), txt and PDF files, and gives the output content of the document as a String.

Markdown to PDF

A tool to allow batch PDF export for free Notion users. You can export as HTML and then use this tool to convert those into PDFs.

iflux = immer.js + react.js

Write beautiful academic texts with the distraction-free Pandoc Markdown and typademic.

A Phantom free PDF invoice generator built with PDFKit

PDF Reader Library for Native Julia.

A deprecated Python wrapper for the DocumentCloud API

Java library for handling exceptions in concise, unified, and architecturally clean way.

Exercises from the readers of the Haskell Book

pdf document generation library

A data access library for Scala + Postgres.

Algebraic effects for Ruby

JHC Haskell compiler split into reusable components

\LaTeX 中文模版收集。