XDMA Drivers for Windows

For publishing the source for UG1352 "Get Moving with Alveo"

Vitis AI is Xilinx’s development stack for AI inference on Xilinx hardware platforms, including both edge devices and Alveo cards.

VNx: Vitis Network Examples

Run Time for AIE and FPGA based platforms

Xilinx QDMA IP Drivers

LaTeX Notes

Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.

kaldi-asr/kaldi is the official location of the Kaldi project.

DOS Shareware Pack

RISC-V Open Source Supervisor Binary Interface

Rocket Chip Generator

Code Repository for The FPGA Programming Handbook Second Edition, Published by Packt

A tiny Open POWER ISA softcore written in VHDL 2008

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

Like VexRiscv, but, Harder, Better, Faster, Stronger

OpenSPARC-based SoC

The last official OpenSolaris code with pNFS

LispWorks Plugins by April & May

CoreNet: A library for training deep neural networks

This repo is the new home of Proof General

A Coq Toolkit for Lambek Calculus

Standard ML Grammar for Tree-sitter

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

An Emacs configuration bundle with batteries included

Color schemes for default macOS Terminal.app

Message Passing Neural Networks for Simplicial and Cell Complexes

The Aldor Programming Language