nickng/sessiontype-latex
Session Type typesetting macros
Developer Profile
nickng
Discovered public repositories for nickng in the GitHub catalog.
nickng/parallel-eval
Public repository.
nickng/hexacopter-python
Public repository.
nickng/hexacopter-firmware
Public repository.
nickng/waitless-mobile
NHS waitlist (mobile frontend)
nickng/passport-oauth2-test
Public repository.
nickng/google-tv-remote-jb
Google TV Remote (for Jelly Bean)
nickng/gsa-drupal-theme
A Drupal theme developed for GSA
nickng/vim-scribble
Vim support for Scribble protocol description language
nickng/vimfiles
My Vim files
nickng/sessc
Session C programming framework