Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Bo-Yuan-Huang
A curated list of projects in awesome lists by Bo-Yuan-Huang .
https://github.com/bo-yuan-huang/cpp-starter
CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen
Last synced: 24 Dec 2024
https://github.com/Bo-Yuan-Huang/ILAng
A Modeling and Verification Platform for SoCs using ILAs
Last synced: 25 Oct 2024
https://github.com/bo-yuan-huang/garnet-ila
The ILA model of the garnet design from Stanford AHA
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/docker-ubuntu-dev
Set up a clean container for Linux using Docker
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/3la-formal-check
Formal verification of 3LA program fragments
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/cxx-template
A template featuring modern CMake, Catch, Cppcheck, Clang-Tidy, Azure Pipeline, Doxygen, etc.
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/fwsynth
Firmware synthesis based on hardware ILA models
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/design-driver
Design driver for the hardware security project
Last synced: 24 Dec 2024
https://github.com/bo-yuan-huang/lmac-ila
ILA of LMAC
ethernet formal-specification ila
Last synced: 24 Dec 2024