{"repo":"gfngfn/SATySFi","free":true,"listed":false,"github":"https://github.com/gfngfn/SATySFi","clone":"git clone https://github.com/gfngfn/SATySFi.git","description":"A statically-typed, functional typesetting system","language":"OCaml","stars":1247,"topics":["ocaml","markup-language","latex","functional-programming","pdf-generation","opentype","satysfi","opam","pdf","typesetting-system"],"license":"LGPL-3.0","category":"media-processing","readme_excerpt":"日本語版 README はこちら Summary of SATySFi SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has OCaml-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing. This software was supported by: IPA Mitou Project 2017 (June 2017 – February 2018; see the abstract here written in Japanese), Dwango Co., Ltd. (October 2018 – March 2019; as a part-time job), and many anonymous supporters who bought The SATySFi​book, and its development continues to this day (Feb 2024). Install using Satyrographos (for non-devs) You can install SATySFi with package manager Satyrographos. Install using OPAM Prerequisites Here is a list of minimally required softwares. bzip2 cc git m4 make unzip wget or curl opam 2 See . On Windows, Windows Subsystem for Linux (WSL) 2 is recommended to avoid bubblewrap-related issues. ocaml 4.10.0 (installed by OPAM) Also, we must add an external OPAM repo to build. This can be done by the following command. Example (Ubuntu) Example (OS X Mavericks or later) Build First, clone this repository and submodules. Then build SATySFi using OPAM. To rei","default_branch":null,"files":null,"tree":[],"storefront":"/r/gfngfn","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/gfngfn/SATySFi/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}