Updated 2 years ago
Various Arduino related stuff
Updated 4 years ago
Updated 6 years ago
(Somewhat adapted) code and solutions from the book "Build Your Own Lisp"
Updated 6 years ago
Examples of using cocotb for functional verification of VHDL designs with GHDL.
Updated 11 months ago
cryptography ip-cores in vhdl / verilog
Updated 4 years ago
Some experiments with web applications
Updated 6 years ago
Updated 6 years ago
Trying to verify Verilog/VHDL designs with formal methods and tools
Updated 9 months ago
Updated 1 year ago
Exercises & activities from the go workshop provided by Packt: https://courses.packtpub.com/courses/go
Updated 4 years ago
Learning by doing: Reading books and trying to understand the (code) examples
Updated 6 years ago
Updated 4 years ago
Library of reusable VHDL components
Updated 3 years ago
Web page of meissner-wohnen.de
Updated 2 months ago
openSCAD models for 3d-printing
Updated 2 years ago
Tutorials from Pebble developer website
Updated 6 years ago
Updated 6 years ago
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
Updated 2 years ago
Various projects using Raspberry Pi
Updated 6 years ago