Aaron Panella's repositories
archive-posts
a repo saving some of the best old xilinx/vivado posts
static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
formal_hw_verification
Trying to verify Verilog/VHDL designs with formal methods and tools
Language:VHDLLGPL-3.0000
ray-tracing-in-more-than-one-weekend
VHDL implementation of the famous Ray Tracing in One Weekend project
Language:VHDL000
sparselizard
C++ FEM library | user-friendly | multi-physics | hp-adaptive | HPC
Language:C++NOASSERTION000
STM32CubeL0
STM32Cube MCU Full Package for the STM32L0 series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on all boards provided by ST (Nucleo, Evaluation and Discovery Kits))
Language:CNOASSERTION000