Anki is a program which makes remembering things easy. Because it's a lot more efficient than traditional study methods, you can either greatly decrease your time spent studying, or greatly increase the amount you learn.

Anyone who needs to remember things in their daily life can benefit from Anki. Since it is content-agnostic and supports images, audio, videos and scientific markup (via LaTeX), the possibilities are endless. For example:

• Learning a language

• Studying for medical and law exams

• Memorizing people's names and faces

• Brushing up on geography

• Mastering long poems

• Even practicing guitar chords!

Commandline client for exercism.io, a free service providing mentored learning for programming languages.

The EFI Analyzer checks EFI binaries and prints out header and section information.

This package provides EFI tools for EFI key management and EFI variable management.

This package provides an EFI toolchain for building programs that can run in the environment presented by Intel's EFI.

This package provides a minimal Linux loader as an UEFI program.

This package provides tools for signing EFI binaries.

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

This package provides an extension to cocotb in the form of AXI, AXI lite, and AXI stream modules.

This package is a waveform viewer for FST files.

Gerbv is a viewer for files in the Gerber format (RS-274X only), which is commonly used to represent printed circuit board (PCB) layouts. Gerbv lets you load several files on top of each other, do measurements on the displayed image, etc. Besides viewing Gerbers, you may also view Excellon drill files as well as pick-place files.

ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.

Route-rnd is a generic external autorouter for PCB using tEDAx file format, part of the RiNgDove EDA suite.

Nextpnr is a portable FPGA place and route tool.

OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats.

Eqy is a front-end driver program for Yosys-based formal hardware equivalence checking. It performs formal verification on two designs, such as ensuring that a synthesis tool has not introduced functional changes into a design, or ensuring that a design refactor preserves correctness in all conditions.

Libserialport is a minimal shared library written in C that is intended to take care of the OS-specific details when writing software that uses serial ports.

The codePyVcd Python library writes VCD files as specified in IEEE 1364-2005.

OSVVM is a verification methodology that defines a VHDL verification framework, verification utility library, verification component library, scripting API, and co-simulation capability for FPGA or ASIC verification.

KLayout is EDA software. It is a scriptable VLSI layout editor used for visualizing and editing mask data, transcoding between different file formats (GDSII and OASIS), executing DRC, LVS verification, and drawing of chip cross-sections basked on mask data.

Hdlmake helps manage and share HDL code by automatically finding file dependencies, writing synthesis and simulation Makefiles.

Pcb-rnd is a Printed Circuit Board layout editor, part of the RiNgDove EDA suite.

Xoscope is a digital oscilloscope that can acquire signals from ALSA, ESD, and COMEDI sources. This package currently does not include support for ESD or COMEDI sources.

Mcy is a tool to help digital designers and project managers understand and improve testbench coverage.