VHDL 2008/93/87 simulator

Tesseract Open Source OCR Engine (main repository)

The BToolkit, a toolkit supporting software development with the B-method.

Dafny is a verification-aware programming language

Dafny 2 for Visual Studio Code (Legacy)

VUnit is a unit testing framework for VHDL/SystemVerilog

Example design for the Ethernet FMC using the hard GEMs of the Zynq

Current function: use petalinux apps makefile to compile and install python locally. More functions will be added.