Takashi Suwa's repositories
the_satysfibook
The manuscript for The SATySFi​book (1st edition for the Web)
satysfi.el
An Emacs major mode for SATySFi
game_tianjiupai
A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
sesterl_cowboy
A Cowboy (https://github.com/ninenines/cowboy) wrapper for Sesterl (https://github.com/gfngfn/Sesterl)
tex_of_ocaml
A compiler for untyped lambda terms to TeX code
satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
hugo_theme_upcards
A simple card-based Hugo theme
sesterl_json
A JSON-handling library for Sesterl equipped with APIs similar to those of elm/json
sesterl_testing
A testing library for Sesterl wrapping EUnit
a_strange_behavior_of_logger_formatter
See: https://github.com/erlang/otp/pull/6036
ott-paper-template
A template for writing papers using Ott (https://github.com/ott-lang/ott)
sesterl_stdlib
The standard library for Sesterl (https://github.com/gfngfn/Sesterl)
renumber-image-files
Just for personal use
satyrographos
Naive package manager for SATySFi
satysfi-lib
complementary collection of useful functions/modules for SATySFi