qnighy / satysfi-cross-windowsView external linksLinks
Crosscompiling SATySFi from Ubuntu to Windows
☆16Jul 8, 2018Updated 7 years ago
Alternatives and similar repositories for satysfi-cross-windows
Users that are interested in satysfi-cross-windows are comparing it to the libraries listed below
Sorting:
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- ☆14Sep 2, 2021Updated 4 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 6 years ago
- Docker images for SATySFi and Satyrographos☆26Dec 11, 2025Updated 2 months ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- Erq - Easy Relational Query Language☆12Nov 12, 2025Updated 3 months ago
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- Defines fundamental data types and functions☆11Dec 21, 2025Updated last month
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Nov 17, 2025Updated 3 months ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- Create a slide with SATySFi!☆56Dec 16, 2022Updated 3 years ago
- Text describing xv6 on RISC-V☆14Jul 23, 2020Updated 5 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Sep 17, 2021Updated 4 years ago
- An OpenType font format encoder & decoder written in OCaml☆19Nov 6, 2024Updated last year
- tools to poke pdf using haskell☆45Feb 7, 2025Updated last year
- RISC-V Software Simulation☆20May 3, 2019Updated 6 years ago
- Execute command in local client from remote host☆24Jun 21, 2025Updated 7 months ago
- a brief note on extendable and injectable syntax☆21Mar 30, 2016Updated 9 years ago
- TCP/IP Protocol stack☆22Oct 18, 2016Updated 9 years ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆26Jul 8, 2023Updated 2 years ago
- Japanese pTeX Manual☆23Nov 29, 2025Updated 2 months ago
- OCaml の日本語での情報☆95Oct 3, 2018Updated 7 years ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Sep 13, 2018Updated 7 years ago
- ☆30Feb 26, 2023Updated 2 years ago
- A self hosted whitespace compiler☆32Apr 2, 2020Updated 5 years ago
- A statically-typed, functional typesetting system☆1,241Dec 15, 2025Updated 2 months ago
- This project is being deprecated, see https://github.com/astroplant/astroplant-api☆11Mar 12, 2019Updated 6 years ago
- ☆143Jul 25, 2024Updated last year
- SML# compiler☆246Dec 8, 2025Updated 2 months ago
- ☆39Jan 5, 2026Updated last month
- C++17 Library for dimensional analysis based on variadic Phantom-Type.☆36Dec 15, 2023Updated 2 years ago
- one-off xml-to-latex-converter generator☆40May 31, 2024Updated last year
- ☆38Apr 29, 2018Updated 7 years ago
- SECCON塔フォント☆10Feb 7, 2019Updated 7 years ago
- 文庫本スタイルのゲラをテキストファイルから作る、github actionsのワークフローです。☆11Sep 29, 2021Updated 4 years ago
- A CLI tool that securely retrieves secrets from Google Cloud or AWS using IAM permissions and stores them as environment variables in env…☆11May 9, 2025Updated 9 months ago
- Twitter's Effective Scala Guide(日本語訳)☆19Feb 23, 2014Updated 11 years ago