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/SATySFi
A statically-typed, functional typesetting system
gfngfn/Sesterl
An ML-like statically-typed Erlang
gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
gfngfn/satysfi.el
An Emacs major mode for SATySFi
gfngfn/game_tianjiupai
A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
gfngfn/gfngfn.github.io
gfngfn/sesterl_cowboy
A Cowboy (https://github.com/ninenines/cowboy) wrapper for Sesterl (https://github.com/gfngfn/Sesterl)
gfngfn/tex_of_ocaml
A compiler for untyped lambda terms to TeX code
gfngfn/the_sesterl_book
gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
gfngfn/hugo_theme_upcards
A simple card-based Hugo theme
gfngfn/sesterl_json
A JSON-handling library for Sesterl equipped with APIs similar to those of elm/json
gfngfn/sesterl_testing
A testing library for Sesterl wrapping EUnit
gfngfn/rebar_sesterl_plugin
A Rebar3 plugin for compiling Sesterl programs (https://github.com/gfngfn/Sesterl)
gfngfn/a_strange_behavior_of_logger_formatter
See: https://github.com/erlang/otp/pull/6036
gfngfn/gfn-latex.el
gfngfn/public-memos
gfngfn/sesterl_stdlib
The standard library for Sesterl (https://github.com/gfngfn/Sesterl)
gfngfn/try-ray-tracing
gfngfn/base
Standard library for OCaml
gfngfn/BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
gfngfn/gen_cop
Generic Connection-Oriented Protocol Behaviour (experimentail)
gfngfn/infotheo
A Coq formalization of information theory and linear error-correcting codes
gfngfn/init-el-on-macosx
gfngfn/otp
Erlang/OTP
gfngfn/ott-paper-template
A template for writing papers using Ott (https://github.com/ott-lang/ott)
gfngfn/proglangtools
gfngfn/renumber-image-files
Just for personal use
gfngfn/satyrographos
Naive package manager for SATySFi
gfngfn/satysfi-lib
complementary collection of useful functions/modules for SATySFi