William D. Jones's repositories
prjtrellis
Documenting the Lattice ECP5 bit-stream format.
msp430f5529
Rust Peripheral Access Crate (PAC) for MSP430F5529
msp430f5529-quickstart
Example code for MSP430F5529 in Rust. Not meant for general use yet.
wb-notifier
Notifier daemon that I use for my Workbench using TinkerBoard.
amaranth
A refreshed Python toolbox for building complex digital hardware
amaranth-rfcs
RFCs for changes to the Amaranth language and standard components
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
boolector-1
Unofficial nextpnr WebAssembly packages
borg-import
importer for rsync+hardlink based backups / rsnapshot
btor2tools
A generic parser and tool package for the BTOR2 format.
crutil
Python notebook boilerplate functions.
fusesoc
FuseSoC is a package manager and a set of build tools for FPGA/ASIC development
hd44780-driver
Implementation of the embedded-hal traits for the HD44780.
logLUTs
Tool to parse yosys and nextpnr logfiles to then plot LUT, flip-flop and maximum frequency stats as your project progresses.
minisat
A minimalistic and high-performance SAT solver
pytest-amaranth-sim
Pytest plugin adding fixture for Amaranth simulation (in Python).
shiori
Disk Archiving Tool
verilator
Verilator open-source SystemVerilog simulator and lint system
yowasp-boolector
Boolector WebAssembly package for the YoWASP project