William D. Jones's repositories

sentinel

Another size-optimized RISC-V CPU for your consideration.

Language:PythonLicense:BSD-2-ClauseStargazers:38Issues:5Issues:4

AT2XT

AT to XT Keyboard Protocol Converter firmware + schematic

Language:RustLicense:GPL-3.0Stargazers:28Issues:6Issues:3

prjtrellis

Documenting the Lattice ECP5 bit-stream format.

Language:VerilogLicense:ISCStargazers:6Issues:5Issues:0

swmon

Small command-line tool to switch monitor inputs from command line

Language:RustLicense:MITStargazers:5Issues:2Issues:0

efbutils

MachXO{1,2,3,5} Embedded Function Block (EFB) Utilities

Language:PythonStargazers:3Issues:0Issues:0

msp430f5529

Rust Peripheral Access Crate (PAC) for MSP430F5529

Language:RustLicense:Apache-2.0Stargazers:1Issues:3Issues:3

msp430f5529-quickstart

Example code for MSP430F5529 in Rust. Not meant for general use yet.

Language:GDBLicense:Apache-2.0Stargazers:1Issues:1Issues:0

smolarith

Small, FPGA soft-cores for multiplication, division (eventually), and other arithmetic. Written in Amaranth.

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

W65C02SXB

Code samples for the W65C02SXB 6502 Development Board

Language:AssemblyStargazers:1Issues:0Issues:0

wb-notifier

Notifier daemon that I use for my Workbench using TinkerBoard.

Language:RustStargazers:1Issues:2Issues:0

amaranth

A refreshed Python toolbox for building complex digital hardware

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

amaranth-rfcs

RFCs for changes to the Amaranth language and standard components

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

License:NOASSERTIONStargazers:0Issues:0Issues:0

boolector-1

Unofficial nextpnr WebAssembly packages

Language:ShellStargazers:0Issues:1Issues:0

borg-import

importer for rsync+hardlink based backups / rsnapshot

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

btor2tools

A generic parser and tool package for the BTOR2 format.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

crutil

Python notebook boilerplate functions.

Language:PythonStargazers:0Issues:0Issues:0

fusesoc

FuseSoC is a package manager and a set of build tools for FPGA/ASIC development

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

hd44780-driver

Implementation of the embedded-hal traits for the HD44780.

License:MITStargazers:0Issues:0Issues:0

logLUTs

Tool to parse yosys and nextpnr logfiles to then plot LUT, flip-flop and maximum frequency stats as your project progresses.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

meson

The Meson Build System

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

minisat

A minimalistic and high-performance SAT solver

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:2Issues:0

pdm

A modern Python package and dependency manager supporting the latest PEP standards

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

pytest-amaranth-sim

Pytest plugin adding fixture for Amaranth simulation (in Python).

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

shiori

Disk Archiving Tool

Language:RustStargazers:0Issues:0Issues:0

verilator

Verilator open-source SystemVerilog simulator and lint system

License:LGPL-3.0Stargazers:0Issues:0Issues:0

yowasp-boolector

Boolector WebAssembly package for the YoWASP project

Language:ShellStargazers:0Issues:0Issues:0