gfngfn / SATySFiLinks
A statically-typed, functional typesetting system
☆1,236Updated last month
Alternatives and similar repositories for SATySFi
Users that are interested in SATySFi are comparing it to the libraries listed below
Sorting:
- Materials for the class "Implementation of Programming Languages" in Kyoto University.☆167Updated 3 months ago
- Style file for writing resume.☆124Updated last year
- ☆141Updated last month
- プログラミング用日本語等幅フォント Cica(シカ)☆1,383Updated 11 months ago
- Beginner's guide for C++☆662Updated last year
- SICP PDF with Texinfo and LaTeX source☆480Updated 4 years ago
- ☆830Updated this week
- The minimal TeXLive Docker image for Japanese☆284Updated last week
- 一週間でなれる！スパコンプログラマ☆719Updated 6 months ago
- SICP PDF with Texinfo and LaTeX source☆459Updated 9 years ago
- Pleasant Programming Language.☆749Updated 2 years ago
- Kuin Programming Language☆266Updated 2 years ago
- Light LaTeX Make☆123Updated last month
- ☆683Updated 4 years ago
- おじさんがLINEやメールで送ってきそうな文を生成する☆1,269Updated last year
- Open Data Structures の日本語ソースコード☆388Updated 4 years ago
- Convenient modules & tools for AtCoder users, written in Python 3.6☆409Updated last year
- Re:VIEW is flexible document format/conversion system☆1,373Updated this week
- オープンソースの住所 正規化ライブラリ。☆934Updated 2 months ago
- SATySFiを学ぶためのドキュメント（作成中）☆20Updated 4 years ago
- My HTTP/3 Note☆699Updated 3 years ago
- Cargo subcommand for AtCoder☆408Updated 3 years ago
- an automated solver for problems of competitive programming☆151Updated 4 years ago
- UDEV Gothic は、ユニバーサルデザインフォントのBIZ UDゴシックと、 開発者向けフォントの JetBrains Mono を合成した、プログラミング向けフォント です。☆1,765Updated 9 months ago
- YAMLによる履歴書作成スクリプト☆470Updated 2 years ago
- 技術文書向けのtextlintルールプリセット☆504Updated this week
- AtCoder command line tools☆614Updated 2 years ago
- Visual Studio Code で小説を執筆する時に使う言語拡張です。☆424Updated last month
- Create a slide with SATySFi!☆55Updated 2 years ago
- GROWI - Team collaboration software using markdown☆1,408Updated last week