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.