ArthurNieh's Stars
fslivovsky/pedant-solver
A DQBF solver leveraging definability.
NTUEELightDance/LightDance-Editor
LightDance editor for choreographing and controlling.
NTUEELightDance/LightDance-RPi
Source codes that run on RPi for controlling the light hardware.
altercation/vim-colors-solarized
precision colorscheme for the vim text editor