Leo's repositories
eod_datareader
EOD stock datareader module written in Python.
checker-framework
Pluggable type-checking for Java
Language:JavaNOASSERTION000
checker-framework-inference
Inference of pluggable types for Java
Language:Java000
RapidWright
Build Customized FPGA Implementations for Vivado
Language:JavaNOASSERTION000
snoutboops
yep.
MIT000
universe
Generic Universe Type System
Language:Java000