nextpnr-ecp5

FPGA place and route tool for Lattice ECP5

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.

nextpnr-ecp5-chipdb

FPGA place and route tool for Lattice ECP5 -- chipdb files

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.

librte-mempool-ring22

Data Plane Development Kit (librte-mempool-ring runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librte-baseband-fpga-lte-fec22

Data Plane Development Kit (librte-baseband-fpga-lte-fec runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libghc-ogma-language-jsonspec-prof

Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

amazon-ec2-net-utils

utilities for managing network interfaces in Amazon EC2

amazon-ec2-net-utils provides udev integration and helper utilities to manage network configuration in the Amazon EC2 cloud environment