|Number of watchers on Github||332|
|Number of open issues||24|
|Average time to close an issue||3 days|
|Average time to merge a PR||1 day|
|Open pull requests||15+|
|Closed pull requests||2+|
|Last commit||4 months ago|
|Repo Created||over 3 years ago|
|Repo Last Updated||4 months ago|
|Organization / Author||gfngfn|
|Do you use Macrodown? Leave a review!|
|View open issues (24)|
|View Macrodown activity|
|View on github|
|Latest Open Source Launches|
Trendy new open source projects in your inbox! View examples
SATySFi (pronounced in the same way as the verb satisfy in English) is a new typesetting system with a static type system. 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 ML-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 is supported by IPA Mitou Project 2017 (see the abstract here).
There is a homebrew formula for SATySFi.
$ brew install --HEAD nyuichi/satysfi/satysfi
Here is a list of minimally required softwares.
sudo apt-get update sudo apt-get install build-essential git m4 unzip wget # The following command will ask if you allow OPAM to modify some files (e.g. ~/.bash_profile). # Be sure to read its instructions. Otherwise, some environment variables won't be set. wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin opam switch 4.06.0 eval `opam config env` opam update
# Before running this scripts, install essential softwares such as GCC and Make. They can be installed from Xcode Command Line Tools. # Also, install Homebrew. brew update brew install wget opam # The following command will ask if OPAM modifies some files. # Be sure to read their instructions. Otherwise, some environment variables won't be set. opam init opam switch 4.06.0 eval `opam config env` opam update
First, clone this repository and submodules. Then build SATySFi using OPAM.
# clone git clone https://github.com/gfngfn/SATySFi.git cd SATySFi git submodule update --init --recursive # Issue #46: avoid 1.0+beta18 to build core_kernel correctly. opam pin add -y jbuilder 1.0+beta17 # build opam pin add satysfi . opam install satysfi
opam reinstall satysfi.
opam uninstall satysfi.
satysfi <input files> -o <output file>
in order to convert
<input files> (file names separated with spaces) into
<output file>. For example, when you want to convert
output.pdf, the following command will work:
satysfi doc.saty -o output.pdf
--version: Prints the version.
--output: Specify the name of the output PDF file. if this option is not given explicitly, the name of the output file is the concatenation of the base name of the input file and the extension
--full-path: Displays file names with their absolute path when outputting them to stdout.