Programming Research Group @ TokyoTech's repositories
prg-mincaml
Extension of the MinCaml compiler including a number of backends
beamerthemeprg
A beamer theme for Programming Research Group.
coverletter
A LaTeX style for writing a cover/rebuttal/response letter.
mutexunlock
Check sync.Mutex.Unlock is called before exit from a function
Language:TeX000
Language:Python000
bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
000
Language:HTML000
cc-child-pages-x
WordPress.org Plugin Mirror
Language:PHP000
pbatakjava
Version polymorphic implementation of BatakJava
prg-exabstract-template-ja
2-pages abstract
Language:TeX000
Language:TeX000
Language:MakefileMIT000
Language:HaskellBSD-3-Clause000