My standard library of custom functions

Postgres with GPUs for ML/AI apps.

this repository contains all the ip projects presented in the HLS/RISC-V/Computer Architecture book written by Goossens and published by Springer

Tuned OpenCL BLAS

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

Run Time for AIE and FPGA based platforms

Getting Started with Xilinx ML Suite

libfprint TOD driver for Validity Sensors 0090

Official repository of the FriCAS computer algebra system

A pure Common Lisp build of FriCAS

Notepad++ User Defined Languages Collection

OpenCL binding for Common Lisp

Standard ML of New Jersey

Some Mac OS X SDKs for development purposes with osxcross.

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

RISC-V Open Source Supervisor Binary Interface

Rocket Chip Generator

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

LispWorks Plugins by the Calendrical System

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!

Color schemes for default macOS Terminal.app

Message Passing Neural Networks for Simplicial and Cell Complexes

The Aldor Programming Language

Validating XML parser library in Standard ML by Andreas Neumann and Alexandru Berlea

ProofPower is an open source suite of tools for specification and proof in HOL and Z.

Metamath Zero specification language