Takashi Suwa's repositories
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
rebar_sesterl_plugin
A Rebar3 plugin for compiling Sesterl programs (https://github.com/gfngfn/Sesterl)
a_strange_behavior_of_logger_formatter
See: https://github.com/erlang/otp/pull/6036
sesterl_stdlib
The standard library for Sesterl (https://github.com/gfngfn/Sesterl)
base
Standard library for OCaml
BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
infotheo
A Coq formalization of information theory and linear error-correcting codes
ott-paper-template
A template for writing papers using Ott (https://github.com/ott-lang/ott)
renumber-image-files
Just for personal use
satyrographos
Naive package manager for SATySFi
satysfi-lib
complementary collection of useful functions/modules for SATySFi