Beast code in Giters

zhiyuanshi's repositories

LaTeX templates for programming language research

Language:TeXMIT7 10

Emacs major mode for editing f2j source code

Language:Emacs Lisp2 20

My Emacs configurations

Language:Emacs LispMIT1 10

F2J in your browser

Language:RubyMIT1 1 1

Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

Language:HaskellBSD-2-Clause1 10

Language:Coq1 30

A Chrome extension (along with the backend) that recognizes faces on renren.com

Language:Ruby010

A LaTeX preprocessor for including Haskell snippets from external files

Language:HaskellMIT010

Install Monaco Font on Linux distro (Ubuntu, CentOS...)

Language:Shell010

A community driven list of useful Scala books, tutorials, online courses, presentations, etc.

020

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp010