Fix & Lint starlark code with buildifier and pre-commit

TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators. [See https://github.com/UCLA-VAST/tapa for issues & pul…

Generate markdown report for pytest tests in GitHub actions

Native Rust library for managing control groups under Linux

Bluetooth Python extension module

[FPGA 2021, Best Paper Award] An automated floorplanning and pipelining tool for Vivado HLS.

Sphinx extension that automatically document argparse commands and options

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Python-based Hardware Design Processing Toolkit for Verilog HDL

A TLS reverse proxy with SNI multiplexing in Go

Golang API for tuya devices

Git in your tmux status bar

XLS: Accelerated HW Synthesis

Using SystemC to simulate edge detection algorithm

Xilinx Run Time for FPGA

mmproxy, the magical PROXY protocol gateway

A WebDAV Client in Python

Build scripts for building a static mosh