matt venn's repositories
intro-formal-videos-resources
resources for the Introduction to Formal Verification series of videos
Language:Python000
icebreaker-workshop
iCEBreaker Workshop
hadbadge2019_fpgasoc
FPGA SoC code and application example for Hackaday Supercon 2019 badge
auto-edit-2000
basic program to do simple video edits
Language:Python000
Language:C000
Language:C000
NOASSERTION000
Language:Python000
Dave-Shahs-pmods
PMODs primarily for demo usage with icestorm
Language:C000
Glasgow
Scots Army Knife for electronics
Language:Python0BSD000
digital-ocean-api
testing digital ocean api for creating servers
Language:Python000
sled
Satanic/Sexy/Stupid/Silly/Shiny LED matrix controller
Language:CISC000
ADS7883-pmod
pmod breakout for 2 x ADS7883 ADC
pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:PythonApache-2.0000
xoxo
Noughts and Crosses with SAT solver
Language:Python000
000
000
spi_client
SPI client core in verilog, tested with raspberry pi SPI master