SATySFi

Tech stack & purpose

SATySFi is a statically-typed, functional typesetting system that combines a text layer with LaTeX-like syntax and a program layer with OCaml-like syntax, enabling users to write documents with custom commands and benefit from informative type error reporting. Built primarily in OCaml, the system generates PDF output and supports OpenType fonts, with installation managed through OPAM package management. The project was initially supported by the IPA Mitou Project from June 2017 to February 2018, later backed by Dwango Co., Ltd., and continues to be developed as of February 2024.

Community & reference links

• The SATySFi​book
• 日本語版 README はこちら
• Wiki
• Satyrographos
• opam
• opam.ocaml.org/doc/Install.html

Languages

Contributors (top 30 of 54)

• 
  Takashi Suwa1,604 commits · 427 followers
• 
  Takashi Suwa331 commits · 427 followers
• 
  Takashi Suwa252 commits · 427 followers
• 
  Takashi Suwa53 commits · 427 followers
• 
  OOHASHI Daichi50 commits · 57 followers
• 
  Daiki Matsunaga46 commits · 44 followers
• 
  Kitano-Kaneko, Naoki44 commits · 96 followers
• 
  Takashi Suwa37 commits · 427 followers
• K1laptop0331 commits
• 
  Takuma Ishikawa23 commits · 46 followers
• 
  Masaki Hara23 commits · 336 followers
• 
  Hiromi Ishii18 commits · 253 followers
• Runhang Li17 commits
• 
  Takashi Suwa17 commits · 427 followers
• monaqa12 commits
• 
  Sakamoto Noriaki12 commits · 47 followers
• 
  yozu10 commits · 68 followers
• 
  El Pin Al10 commits · 68 followers
• forestaa9 commits
• 
  YOSHIMURA Yuu8 commits · 112 followers
• 
  Sora Morimoto7 commits · 965 followers
• Yuichi Nishiwaki7 commits
• Ken Sakayori6 commits
• 
  YOSHIMURA Yuu4 commits · 112 followers
• 
  Masanori Ogino4 commits · 641 followers
• ToruNiina4 commits
• 
  Sakamoto Noriaki4 commits · 47 followers
• amutake3 commits
• theoldmoon06022 commits
• hikalium2 commits