Pinned Loading

1. LightDance-RPi LightDance-RPi Public

   Forked from NTUEELightDance/LightDance-RPi

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

   C++

2. LSV-PA LSV-PA Public

   Forked from NTU-ALComLab/LSV-PA

   Logic Synthesis and Verification: Programming Assignments

   C

3. Bilinear_Resize_Engine Bilinear_Resize_Engine Public

   2024 spring IC Design Final Project

   Verilog

4. DQBF_Graph_Coloring DQBF_Graph_Coloring Public

   project for solving graph coloring problem using state-of-the-art DQBF solver

   Python