cr1901

sentinel

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

AT2XT

AT to XT Keyboard Protocol Converter firmware + schematic

prjtrellis

Documenting the Lattice ECP5 bit-stream format.

swmon

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

efbutils

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

msp430f5529

Rust Peripheral Access Crate (PAC) for MSP430F5529

msp430f5529-quickstart

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

smolarith

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

wb-notifier

Notifier daemon that I use for my Workbench using TinkerBoard.

yowasp-boolector

Boolector WebAssembly package for the YoWASP project

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

amaranth

A refreshed Python toolbox for building complex digital hardware

amaranth-rfcs

RFCs for changes to the Amaranth language and standard components

amaranth-unused-elaboratable

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.

mcp2221-rs

meson

The Meson Build System

miniconf-sample

Sample crate using miniconf and sequential-storage

minisat

A minimalistic and high-performance SAT solver

pdm

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

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