Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/puripuri2100/satysfi-code-printer
Typeset source code with SATySFi
https://github.com/puripuri2100/satysfi-code-printer
satysfi syntax-highlighting
Last synced: about 2 months ago
JSON representation
Typeset source code with SATySFi
- Host: GitHub
- URL: https://github.com/puripuri2100/satysfi-code-printer
- Owner: puripuri2100
- License: mit
- Created: 2021-09-03T11:17:03.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2023-01-18T14:12:00.000Z (almost 2 years ago)
- Last Synced: 2023-03-05T17:06:51.903Z (almost 2 years ago)
- Topics: satysfi, syntax-highlighting
- Homepage:
- Size: 812 KB
- Stars: 12
- Watchers: 1
- Forks: 2
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# satysfi-code-printer
Typeset source code with SATySFi.
# Install
You can install `code-printer` package with [Satyrographos](https://github.com/na4zagin3/satyrographos).
```sh
opam pin add "git+https://github.com/puripuri2100/satysfi-code-printer.git"opam install satysfi-code-printer
satyrographos install
```OR
```sh
opam updateopam install satysfi-code-printer
satyrographos install
```After installation, you can import this package by writing the code in preamble.
```
@require: code-printer/code-printer
@require: code-printer/code-syntax
@require: code-printer/code-theme
```# Usage
Write the code like this:
```
+p{\inline-code (`inline_code`);}
+code-printer (```let-rec factorial n =
match n with
| 0 -> 1
| _ -> n * (factorial (n - 1))```);
```When typesetting code with syntax-highlight, write the code like this:
```
+p{\inline-code ?:(CodePrinter.make-config CodeSyntax.rust CodeTheme.basic-light) (`inline_code`);}
+code-printer ?:(
CodePrinter.make-config CodeSyntax.satysfi CodeTheme.basic-dark
)(```let-rec factorial n =
match n with
| 0 -> 1
| _ -> n * (factorial (n - 1))```);
````CodePrinter.make-config` function sets config of syntax and color.
List of syntax config constant:
- `CodeSyntax.rust`
- `CodeSyntax.ocaml`
- `CodeSyntax.satysfi`
- `CodeSyntax.cobol`
- `CodeSyntax.c`
- `CodeSyntax.cpp`
- `CodeSyntax.csharp`
- `CodeSyntax.d`
- `CodeSyntax.erlang`
- `CodeSyntax.fsharp`
- `CodeSyntax.fortran`
- `CodeSyntax.go`
- `CodeSyntax.haskell`
- `CodeSyntax.html`
- `CodeSyntax.java`
- `CodeSyntax.javascript`
- `CodeSyntax.json`
- `CodeSyntax.json5`
- `CodeSyntax.julia`
- `CodeSyntax.kotlin`
- `CodeSyntax.lua`
- `CodeSyntax.lisp`
- `CodeSyntax.nim`
- `CodeSyntax.makefile`
- `CodeSyntax.shell`
- `CodeSyntax.perl`
- `CodeSyntax.prolog`
- `CodeSyntax.php`
- `CodeSyntax.python`
- `CodeSyntax.r`
- `CodeSyntax.ruby`
- `CodeSyntax.scala`
- `CodeSyntax.swift`
- `CodeSyntax.tex`
- `CodeSyntax.toml`
- `CodeSyntax.typescript`
- `CodeSyntax.visualbasic`
- `CodeSyntax.xml`List of color theme config constant:
- `CodeTheme.basic-light`
- `CodeTheme.basic-dark`
- `CodeTheme.gruvbox-light`
- `CodeTheme.gruvbox-dark`
- `CodeTheme.dracula`
- `CodeTheme.iceberg-dark`
- `CodeTheme.iceberg-light`
- `CodeTheme.tyokyo-night`
- `CodeTheme.tyokyo-night-strom`
- `CodeTheme.tyokyo-night-light`
- `CodeTheme.ayu-dark`
- `CodeTheme.ayu-mirage`
- `CodeTheme.ayu-light`
- `CodeTheme.spacegray-eighties`
- `CodeTheme.spacegray-mocha`
- `CodeTheme.spacegray-ocean-dark`
- `CodeTheme.spacegray-ocean-light`
- `CodeTheme.night-owl`
- `CodeTheme.light-owl`
- `CodeTheme.winteriscoming-dark-blue`
- `CodeTheme.winteriscoming-dark-black`
- `CodeTheme.winteriscoming-light`
- `CodeTheme.one-light`# License
This package released under [the MIT license](https://github.com/puripuri2100/satysfi-code-printer/blob/master/LICENSE).
---
(c) 2021 Naoki Kaneko (a.k.a. "puripuri2100")