gfngfn / SATySFiLinks
A statically-typed, functional typesetting system
☆1,240Updated 3 months ago
Alternatives and similar repositories for SATySFi
Users that are interested in SATySFi are comparing it to the libraries listed below
Sorting:
- ☆143Updated 3 weeks ago
- プログラミング用日本語等幅フォント Cica(シカ)☆1,383Updated last year
- Materials for the class "Implementation of Programming Languages" in Kyoto University.☆168Updated last month
- Beginner's guide for C++☆666Updated last year
- SICP PDF with Texinfo and LaTeX source☆481Updated 4 years ago
- Pleasant Programming Language.☆746Updated 3 years ago
- Style file for writing resume.☆125Updated 2 years ago
- ☆835Updated this week
- Kuin Programming Language☆267Updated 2 years ago
- The minimal TeXLive Docker image for Japanese☆287Updated last week
- Convenient modules & tools for AtCoder users, written in Python 3.9☆410Updated 2 weeks ago
- SICP PDF with Texinfo and LaTeX source☆460Updated 10 years ago
- Re:VIEW is flexible document format/conversion system☆1,378Updated this week
- 一週間でなれる!スパコンプログラマ☆723Updated 7 months ago
- Open Data Structures の日本語ソースコード☆389Updated 4 years ago
- 数学系のためのLean勉強会☆89Updated 2 months ago
- An input method without morphological analysis.☆366Updated 2 months ago
- Light LaTeX Make☆124Updated 2 months ago
- cpprefjpサイトのMarkdownソース☆413Updated this week
- Visual Studio Code で小説を執筆する時に使う言語拡張です。☆426Updated last month
- ☆689Updated 4 years ago
- おじさんがLINEやメールで送ってきそうな文を生成する☆1,270Updated last year
- IBM Plex Mono と IBM Plex Sans JP を合成したプログラミングフォント PlemolJP (プレモル ジェイピー)☆1,261Updated 5 months ago
- UDEV Gothic は、ユニバーサルデザインフォントのBIZ UDゴシックと、 開発者向けフォントの JetBrains Mono を合成した、プログ ラミング向けフォントです。☆1,782Updated 11 months ago
- Ricty Diminished --- fonts for programming☆499Updated 11 years ago
- 2021/3/30 ~ 2021/7/12 に行われる企画「競プロ典型 90 問」の問題・解説・ソースコードなどの資料をアップロードしています。☆834Updated last year
- ☆666Updated 5 months ago
- Fira Mono と源真ゴシックを合成したプログラミングフォント Firge (ファージ)☆283Updated last year
- オープンソースの住所正規化ライブラリ。☆938Updated 3 weeks ago
- 📘Super fast browser dictionary☆1,084Updated 2 weeks ago