Yosys synthesizes Verilog-2005.

Yosys synthesizes Verilog-2005.

VUnit features the functionality needed to realize continuous and automated testing of HDL code.

VUnit features the functionality needed to realize continuous and automated testing of HDL code.

This package is a waveform viewer for FST files.

A thin wrapper around POSIX regular expression matching

TAR file format packing and unpacking.

Hack that replaces “define” with a version that mutates existing procedures.

Compute the longest common subsequence of two sequences

OSF DCE 1.1 UUID

Bindings for the Snowball project's libstemmer

SRFI-207: String-notated bytevectors

SRFI-171: Transducers

Trivial macro to define records and appropriate printers

SRFI-5: A compatible let form with signatures and rest arguments

Parser combinators and state machine for Simple Mail Transfer Protocol (RFC 5321).

A queue data structure

ioctl system call interface

Common-Lisp style formatted output

Tiger/192 Message Digest

Hodge podge of macros and combinators

Design by contract for procedures

Thread-safe queues with timeout

Call upon Pandoc to parse documents into SXML