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/expandparams
(La)TeX packages that makes you save the cost of writing thousands of \expandafter.
gfngfn/StructMath
A structure-based GUI editor for typesetting math formulae
gfngfn/poly-shift-reset
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
gfngfn/macrodown-test
gfngfn/test_repository
gfngfn/trifling_tex_codes
gfngfn/altHTML-on-TeX
A (La)TeX package for generating HTML source with (La)TeX macros.
gfngfn/bucklescript-jquery
BuckleScript binding for JQuery
gfngfn/data_structure
gfngfn/gfn-fundamental.el
An Emacs package
gfngfn/gfncmd
LaTeX packages useful for making LaTeX code more structurized
gfngfn/gfnsynt
A LaTeX package for displaying syntactic objects in mathematical formulae
gfngfn/ideas_for_typeset_lang
gfngfn/lambda-next-box
gfngfn/linmath
基底の取替え等を考慮せず行列を素朴に扱う線型代数
gfngfn/Matroid
document about matroid theory
gfngfn/mcrd.el
An Emacs package for Macrodown ( http://github.com/gfngfn/Macrodown )
gfngfn/notes-on-machine-learning
gfngfn/open-group.el
An Emacs package that enables you to open many files at one time
gfngfn/prob
確率論の測度論的基礎
gfngfn/suuri_c4
gfngfn/suuri_c5
gfngfn/suuri_c6
gfngfn/ucorelib
A new Unicode library for OCaml