Framework providing operating system abstractions and a range of shared networking (RDMA, TCP/IP) and memory services to common modern heterogeneous platforms.

The platform independent header allowing to compile any C/C++ code containing ARM NEON intrinsic functions for x86 target systems using SIMD up to AVX2 intrinsic functions

27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting

Designing Relocatable FPGA Partitions with Vivado Design Suite

Hosting git repositories -- Gitolite allows you to setup git hosting on a central server, with very fine-grained access control and many (many!) more powerful features.

VHDL 2008/93/87 simulator

Quantified Boolean Matching

Hardware, Linux Driver and Library for the Zynq AXI DMA interface

public domain tools for FPGAs

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

A Digital Schematic Editor (Draft)

The wisent Parser Generator