MinThaMie

MinThaMie's Stars

• ten1seven/what-input

  A global utility for tracking the current input method (mouse/pointer, keyboard or touch).

  Language:JavaScript1.4k77

• rvf0068/graphiso.sty

  Graph isomorphisms in beamer presentations

  Language:TeX72