William D. Jones's repositories

sentinel

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

Language:PythonLicense:BSD-2-ClauseStargazers:46Issues:5Issues:5

AT2XT

AT to XT Keyboard Protocol Converter firmware + schematic

Language:RustLicense:GPL-3.0Stargazers:30Issues:7Issues:3

swmon

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

Language:RustLicense:MITStargazers:23Issues:4Issues:3

smolarith

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

Language:PythonLicense:BSD-2-ClauseStargazers:4Issues:3Issues:1

pytest-amaranth-sim

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

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

msp430f5529

Rust Peripheral Access Crate (PAC) for MSP430F5529

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

msp430f5529-quickstart

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

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

shiori

Disk Archiving Tool

Language:RustStargazers:1Issues:0Issues:0

wb-notifier

Notifier daemon that I use for my Workbench using TinkerBoard.

Language:RustStargazers:1Issues:2Issues:0

yowasp-boolector

Boolector WebAssembly package for the YoWASP project

Language:ShellStargazers:1Issues:2Issues:0

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

amaranth

A refreshed Python toolbox for building complex digital hardware

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

boolector

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

Language:SMTLicense:NOASSERTIONStargazers:0Issues:1Issues:0

boolector-1

Unofficial nextpnr WebAssembly packages

Language:ShellStargazers:0Issues:1Issues:0

borg

Deduplicating archiver with compression and authenticated encryption.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues: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

crzsnap

CR1901's ZFS SNAPshot Engine

Language:PythonStargazers:0Issues:0Issues:0

ddc-winapi-rs

DDC/CI implementation on Windows

Language:RustLicense:MITStargazers:0Issues:0Issues:0

force-readperms

Forcefully add read permissions using POSIX ACLs.

Language:PythonStargazers:0Issues:0Issues:0

hd44780-driver

Implementation of the embedded-hal traits for the HD44780.

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

meson

The Meson Build System

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

miniconf-sample

Sample crate using miniconf and sequential-storage

Language:RustStargazers:0Issues:1Issues:0

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

ntfs

An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.

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

playmod

A MOD Player. In Rust. Because I wanted to.

Language:RustStargazers:0Issues:1Issues:0

verilator

Verilator open-source SystemVerilog simulator and lint system

Language:C++License:LGPL-3.0Stargazers:0Issues:1Issues:0

vigilant-eureka

Delay for 1/60th of a second example code

Language:RustStargazers:0Issues:0Issues:0