ArthurNieh

ArthurNieh's Stars

• fslivovsky/pedant-solver

  A DQBF solver leveraging definability.

  Language:C++8

• NTUEELightDance/LightDance-Editor

  LightDance editor for choreographing and controlling.

  Language:Python2843

• NTUEELightDance/LightDance-RPi

  Source codes that run on RPi for controlling the light hardware.

  Language:C++1421

• altercation/vim-colors-solarized

  precision colorscheme for the vim text editor

  Language:VimL6.6k1.8k