nextpnr-ice40-qt

FPGA place and route tool for Lattice iCE40 - with GUI

nextpnr is a FPGA place and route tool. Its purpose is to turn a topological description of digital hardware produced by an FPGA logic synthesis tool such as yosys into an elaborate map of connections between the hardwired functional units available inside the FPGA's fabric.

python3-sphinx-book-theme

clean book theme for scientific explanations and documentation with Sphinx

This is a lightweight Sphinx theme designed to mimic the look-and-feel of an interactive book. It has the following primary features:

libcoq-mathcomp-analysis

analysis extension for Mathematical Components

This package provides an extension for classical analysis for the Mathematical Components library.

gm2-x86-64-linux-gnu

GNU Modula-2 compiler (based on GCC) for the amd64 architecture

This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

hunspell-lt

Lithuanian dictionary for hunspell

This is the Lithuanian dictionary for use with the hunspell spellchecker.

libpcl-apps1.14

Point Cloud Library - apps library

The Point Cloud Library (PCL) is a standalone, large scale, open project for 2D/3D image and point cloud processing.