Takashi Suwa's repositories
toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
variational_gadts
[WIP] a GADT type inference engine
rebar_sesterl_plugin
A Rebar3 plugin for compiling Sesterl programs (https://github.com/gfngfn/Sesterl)
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
yojson-with-position
A fork of yojson used by SATySFi
code-reading
Just for my personal code reading.
cowboy
Small, fast, modular HTTP server written in Erlang.
cowboy_session
Cowboy session management middleware
elm-mdc
Elm port of the Material Components for the Web CSS/JS library
error_logger_logi
[OBSOLETE: Use sile/logi_stdlib instead] An error_logger backend for redirecting events into logi
fialyzer
[WIP] Faster Implementation of Dialyzer
font-explorer
A TUI font data viewer
fw-scala-in-scala
[WIP] An implementation of the Featherweight Scala [Cremet, Garillot & Odersky 2006] type checker
init.el
The Emacs initialization just for me
moyo
Erlangの便利なライブラリ集
omd
extensible Markdown library and tool in "pure OCaml"
ranch
Socket acceptor pool for TCP protocols.
satysfi-class-yabaitech
SATySFi class file for yabaitech.tokyo
sesterl-mode
An Emacs major mode for editing Sesterl programs (https://github.com/gfngfn/Sesterl)