Takashi Suwa

SATySFi. A statically-typed, functional typesetting system

Sesterl. An ML-like statically-typed Erlang

the_satysfibook. The manuscript for The SATySFi​book (1st edition for the Web)

toy-macro-ml. An implementation of MacroML [Ganz, Sabry & Taha 2001]

cs-thesis. A SATySFi class file for writing CS master theses at The University of Tokyo

otfed. An OpenType font format encoder & decoder written in OCaml

satysfi.el. An Emacs major mode for SATySFi

game_tianjiupai. A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm

apbuf. Algebraic protocol buffers

Horsea. Haskell

gfngfn.github.io. HTML

hugo_theme_upcards. A simple card-based Hugo theme

ott-paper-template. A template for writing papers using Ott (https://github.com/ott-lang/ott)

tex_of_ocaml. A compiler for untyped lambda terms to TeX code

sesterl_cowboy. A Cowboy (https://github.com/ninenines/cowboy) wrapper for Sesterl (https://github.com/gfngfn/Sesterl)

variational_gadts. [WIP] a GADT type inference engine

the_sesterl_book.

satysfi-external-repo. Custom OPAM repository for external libraries of SATySFi

camlpdf. OCaml library for reading, writing and modifying PDF files

expandparams. (La)TeX packages that makes you save the cost of writing thousands of \expandafter.

satysfi-test.

sesterl_testing. A testing library for Sesterl wrapping EUnit

sesterl_json. A JSON-handling library for Sesterl equipped with APIs similar to those of elm/json

otfm. OpenType font decoder for OCaml

StructMath. A structure-based GUI editor for typesetting math formulae

try-ray-tracing. Rust

satysfi-amidakuji.

poly-shift-reset. An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

langprocbase. A minimal, easy-to-extend front-end of a language processor that supports Hindley-Milner type inference and type error reports with code positions

satysfi-steamer. Steamer: presentation in SATySFi

macrodown-test. OCaml

a_strange_behavior_of_logger_formatter. See: https://github.com/erlang/otp/pull/6036

yojson. Low-level JSON parsing and pretty-printing library for OCaml

sesterl_stdlib. The standard library for Sesterl (https://github.com/gfngfn/Sesterl)

test_repository. TeX

yojson-with-position. A fork of yojson used by SATySFi

public-memos.

rebar_sesterl_plugin. A Rebar3 plugin for compiling Sesterl programs (https://github.com/gfngfn/Sesterl)

satysfi-0-1-0-diff-doc.

trifling_tex_codes. TeX