Pinned Repositories
otp
Erlang/OTP
apbuf
Algebraic protocol buffers
cs-thesis
A SATySFi class file for writing CS master theses at The University of Tokyo
game_tianjiupai
A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
otfed
An OpenType font format encoder & decoder written in OCaml
SATySFi
A statically-typed, functional typesetting system
satysfi.el
An Emacs major mode for SATySFi
Sesterl
An ML-like statically-typed Erlang
the_satysfibook
The manuscript for The SATySFibook (1st edition for the Web)
toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
gfngfn's Repositories
gfngfn/the_satysfibook
The manuscript for The SATySFibook (1st edition for the Web)
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
gfngfn/cs-thesis
A SATySFi class file for writing CS master theses at The University of Tokyo
gfngfn/apbuf
Algebraic protocol buffers
gfngfn/variational_gadts
[WIP] a GADT type inference engine
gfngfn/camlpdf
OCaml library for reading, writing and modifying PDF files
gfngfn/otfm
OpenType font decoder for OCaml
gfngfn/satysfi-test
gfngfn/satysfi-amidakuji
gfngfn/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
gfngfn/satysfi-steamer
Steamer: presentation in SATySFi
gfngfn/yojson
Low-level JSON parsing and pretty-printing library for OCaml
gfngfn/yojson-with-position
A fork of yojson used by SATySFi
gfngfn/code-reading
Just for my personal code reading.
gfngfn/cowboy
Small, fast, modular HTTP server written in Erlang.
gfngfn/cowboy_session
Cowboy session management middleware
gfngfn/elm-mdc
Elm port of the Material Components for the Web CSS/JS library
gfngfn/error_logger_logi
[OBSOLETE: Use sile/logi_stdlib instead] An error_logger backend for redirecting events into logi
gfngfn/fialyzer
[WIP] Faster Implementation of Dialyzer
gfngfn/font-explorer
A TUI font data viewer
gfngfn/fw-scala-in-scala
[WIP] An implementation of the Featherweight Scala [Cremet, Garillot & Odersky 2006] type checker
gfngfn/gfnlwmath
gfngfn/init.el
The Emacs initialization just for me
gfngfn/moyo
Erlangの便利なライブラリ集
gfngfn/omd
extensible Markdown library and tool in "pure OCaml"
gfngfn/proxy
An Erlang Process Proxy Library
gfngfn/ranch
Socket acceptor pool for TCP protocols.
gfngfn/satysfi-class-yabaitech
SATySFi class file for yabaitech.tokyo
gfngfn/sesterl-mode
An Emacs major mode for editing Sesterl programs (https://github.com/gfngfn/Sesterl)
gfngfn/slydifi
SATySFi で書けるスライドテーマ