gfngfn/SATySFi

A statically-typed, functional typesetting system

OCamlOtherprogramming-languagepdflatexfunctional-programmingocamlopentypemarkup-languageopampdf-generationtypesetting-systemsatysfi
This is stars and forks stats for /gfngfn/SATySFi repository. As of 02 May, 2024 this repository has 1092 stars and 81 forks.

日本語版 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....
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
redteamguides/redteamguides.github.ioHTMLCSSJavaScript1270210
daodao97/chatdocJavaScriptCSSHTML4240960
wintermute-cell/gitignore.nvimLuaOther108040
NVlabs/AutoDMPC++PythonCuda930140
nomic-ai/gpt4allC++QMLPython52.9k05.8k0
plasma-umass/ChatDBGC++PythonOther6170310
ShuhongChen/panic3d-anime-reconstructionPythonCudaC++6460540
Fdawgs/docsmithRich Text FormatJavaScriptHTML19020
ApeWhoLovesCode/LegendTDTypeScriptVueOther680280
crmepicentro/evaluacion_crmBladePHPVue0090