Skip to content
@hkuplg

HKU Programming Languages Group

Popular repositories

  1. fcore Public

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

    Haskell 44 12

  2. Weekly seminar talks from Programming Languages Group at HKU

    HTML 5 1

  3. f2j-mode Public

    Forked from zhiyuanshi/f2j-mode

    Emacs major mode for editing f2j source code

    Emacs Lisp 1

  4. Forked from zonyitoo/sublime-f2j

    F2J plugin for Sublime Text

    1

  5. f2j-lang Public

    Forked from zhiyuanshi/f2j-lang

    F2J in your browser

    Ruby

Repositories

Top languages

Loading…

Most used topics

Loading…