sean-anderson-seco's starred repositories
qemu-coverage
Qemu plugin - code coverage
pdf.tocgen
A CLI toolset to generate table of contents for PDF files automatically.
psl_with_ghdl
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
openFPGALoader
Universal utility for programming FPGA
rmii-firewall-fpga
RMII Firewall FPGA
nanoMODBUS
A compact MODBUS RTU/TCP C library for embedded/microcontrollers
xfce-text-plugin
Plugin for XFCE4 that shows text from a string, file, or executed command
email-oauth2-proxy
An IMAP/POP/SMTP proxy that transparently adds OAuth 2.0 authentication for email clients that don't support this method.
ethernet_mac
Tri-mode (10/100/1000) full-duplex FPGA ethernet MAC in VHDL
verilog-ethernet
Verilog Ethernet components for FPGA implementation
mdio-tools
Low-level debug tools for MDIO devices.
dpkg-diffs
Compare the filesystem tree of a Debian package to the current filesystem tree, printing unified diffs for files that differ