Cynthia Shao CynyuS

Hihi! 👋

I'm Cynthia, a junior studying Computer Science 👩‍💻 and Electrical and Computer Engineering 💡 @ Cornell University

Calyx FSM-optimization 💫: Optimizing and generating FSM constructs in the Calyx compiler backend

Allo Sparse Matrix Multiplier ✖️: Using systolic arrays to optimize sparse matrix to dense matrix multiplication

Project Hades ✈️: Integrating bezier spline curves into ArduPlane

OCaml GCS 🌎: A ground control system and plane simulation application

The OCaml GCS Flight Simulator (OCamlGCS) is an application that can plot waypoints and simulate flight paths for your local Cornell needs! Based on the needs of Cornell University Unmanned Air Systems, the OCamlGCS has three built in maps: Cornell, Ovid Airport, and Mojave Desert for you to simulate all your flight needs. You can plot, change, and delete waypoints, and adjust the speed of the animation to the intended speed of your aircraft!

CITR 🤖 WIP: An open-sourced generative AI hardware assistant to aid in Verilog code generation and EDA and synthesis

Chat is this Real? (CITR) is a curated open-sourced dataset of Verilog code and LLM generated detailed contexts for open-sourced model fine-tuning - earning 9th place at the LLM4HWDesign competition.