Pinned Repositories
emacs.d
My Emacs configurations
f2j-lang
F2J in your browser
f2j-mode
Emacs major mode for editing f2j source code
fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
frrr
A Chrome extension (along with the backend) that recognizes faces on renren.com
include
A LaTeX preprocessor for including Haskell snippets from external files
intersection
monaco-font
Install Monaco Font on Linux distro (Ubuntu, CentOS...)
pl-latex-templates
LaTeX templates for programming language research
scala-learning-resources
A community driven list of useful Scala books, tutorials, online courses, presentations, etc.
zhiyuanshi's Repositories
zhiyuanshi/pl-latex-templates
LaTeX templates for programming language research
zhiyuanshi/f2j-mode
Emacs major mode for editing f2j source code
zhiyuanshi/emacs.d
My Emacs configurations
zhiyuanshi/f2j-lang
F2J in your browser
zhiyuanshi/fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
zhiyuanshi/intersection
zhiyuanshi/frrr
A Chrome extension (along with the backend) that recognizes faces on renren.com
zhiyuanshi/include
A LaTeX preprocessor for including Haskell snippets from external files
zhiyuanshi/monaco-font
Install Monaco Font on Linux distro (Ubuntu, CentOS...)
zhiyuanshi/scala-learning-resources
A community driven list of useful Scala books, tutorials, online courses, presentations, etc.
zhiyuanshi/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!