eine's repositories
ghdl-packaging
Sources for package management systems to build GHDL
login-action
:octocat: GitHub Action to login against a Docker registry
bare-hugo-theme
A Hugo theme based on Bulma.io
ghdl-yosys-plugin
VHDL synthesis (based on ghdl)
JSON-for-VHDL
A JSON library implemented in VHDL.
pactoys
A set of pacman packaging utilities.
Language:ShellNOASSERTION000
psl_with_ghdl
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)