preusser

Thomas B. Preußer's repositories

27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting

Language:VHDLAGPL-3.076 8 4

The wisent Parser Generator

Language:C++GPL-2.05 30

Quantified Boolean Matching

Language:C++AGPL-3.04 20

HLS Streaming Library

Language:C++2 20

Accelerated Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators

Language:C++Apache-2.0000

Language:Jupyter NotebookBSD-3-Clause020

Distributed Accelerator OS

Language:SystemVerilog010

BSD-3-Clause000

FPGA-based HyperLogLog Accelerator

Language:C++010

Scalable Network Stack for FPGAs (TCP/IP, RoCEv2)

Language:C++BSD-3-Clause010

VHDL 2008/93/87 simulator

Language:VHDLGPL-2.0020

Language:C++020

A few unoptimised attempts to solve the Post Correspondence Problem.

Language:C++GPL-3.0020

Simple Intel CPU processor tracing on Linux

Language:C010

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, and formatter.

Language:C++Apache-2.0010

Language:C++020

Language:C020