leoliu49

UWaterloo '21; currently @ Stanford

Pinned Repositories

checker-framework
Pluggable type-checking for Java
Language:Java00
checker-framework-inference
Inference of pluggable types for Java
Language:Java00
eod_datareader
EOD stock datareader module written in Python.
Language:Python10
RapidRoute
Language:Java5 2 01
RapidWright
Build Customized FPGA Implementations for Vivado
Language:Java0 0 00
snoutboops
yep.
00
universe
Generic Universe Type System
Language:Java00
working-memory
Language:Python1 1 00
universe
Generic Universe Type System
Language:Java0 3 69
checker-framework
Pluggable type-checking for Java
Language:Java1k 42 1.9k353

leoliu49's Repositories

leoliu49/RapidRoute
Language:Java5 2 01
leoliu49/eod_datareader
EOD stock datareader module written in Python.
Language:Python10
leoliu49/working-memory
Language:Python1 1 00
leoliu49/checker-framework
Pluggable type-checking for Java
Language:Java00
leoliu49/checker-framework-inference
Inference of pluggable types for Java
Language:Java00
leoliu49/RapidWright
Build Customized FPGA Implementations for Vivado
Language:Java0 0 00
leoliu49/snoutboops
yep.
00
leoliu49/universe
Generic Universe Type System
Language:Java00