Crosscompiling SATySFi from Ubuntu to Windows
☆16Jul 8, 2018Updated 8 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- Math matrix library for SATySFi☆15Oct 15, 2019Updated 7 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 4 months ago
- ☆14Sep 2, 2021Updated 5 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Package manager for SATySFi☆48Sep 25, 2023Updated 3 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆19Apr 29, 2026Updated 6 months ago
- A Programming Language☆12Mar 20, 2016Updated 10 years ago
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- Erq - Easy Relational Query Language☆12Oct 23, 2026Updated 2 weeks ago
- PWV Functional Language☆17Oct 30, 2023Updated 3 years ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 8 years ago
- A functional programming language with polymorphic algebraic effects, handlers, and signature restriction☆13Jun 27, 2020Updated 6 years ago
- Scala研修用テキスト（Scala Text）のPDF版☆13Feb 20, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An OpenType font format encoder & decoder written in OCaml☆22Apr 12, 2026Updated 6 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- An Emacs major mode for SATySFi☆18Aug 10, 2024Updated 2 years ago
- An immutable approach to mutable references.☆17Feb 1, 2019Updated 7 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 11 months ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 7 years ago
- tools to poke pdf using haskell☆54Sep 29, 2026Updated last month
- Minesweeper game written in GNU sed☆23Aug 23, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A minimal object-oriented programming language supporting local methods.☆20Jan 27, 2015Updated 11 years ago
- A JSON serializer/deserializer (with JsonSchema support) library written in pure C#☆15Nov 14, 2022Updated 3 years ago
- A metaprgramming utilities for C++1z.☆17Dec 21, 2024Updated last year
- .dvi previewer in JavaScript (with jQuery)☆21Nov 27, 2014Updated 11 years ago
- SATySFi's package☆13Sep 11, 2019Updated 7 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Sep 17, 2021Updated 5 years ago
- A statically-typed, functional typesetting system☆1,248Apr 12, 2026Updated 6 months ago
- Japanese pTeX Manual☆22Aug 12, 2026Updated 2 months ago
- 肺です☆21Oct 4, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OCaml の日本語での情報☆94Oct 3, 2018Updated 8 years ago
- 劇場版 THE IDOL M@STER MOVIE 輝きの向こう側へ をテキストで補完した☆32Mar 16, 2014Updated 12 years ago
- LimeSDR-Mini board FPGA project☆14Jan 30, 2019Updated 7 years ago
- 三 三 ( ´_ゝ`）＜ Japanese Input Method SKK (Simple Kana to Kanji conversion) on your terminal☆27Jun 12, 2014Updated 12 years ago
- OCaml API search engine☆23Oct 27, 2016Updated 10 years ago
- A virtual machine for the Epiphany processor architecture on Parallella boards.☆11Nov 28, 2013Updated 12 years ago
- Defines fundamental data types and functions☆12Dec 21, 2025Updated 10 months ago