High-efficiency floating-point neural network inference operators for mobile, server, and Web

Complete codes of all Data Structures and algorithms subject

This is a simple project that shows how to multiply two 8x8 matrixes in Verilog.

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Library for specialized dense and sparse matrix operations, and deep learning primitives.

hipBLASLt is a library that provides general matrix-matrix operations with a flexible API and extends functionalities beyond a traditional BLAS library

Fast Clojure Matrix Library

BLAS-like Library Instantiation Software Framework

Tuned OpenCL BLAS

Stretching GPU performance for GEMMs and tensor contractions.

This respository contains projects made for the Matrix Calculus and Multivatiate Statistics course at the AGH UST in 2024 by 2 students (one team).

DBCSR: Distributed Block Compressed Sparse Row matrix library

Linear Algebra library in C++

The simplest but fast implementation of matrix multiplication in CUDA.

Metodos para solucionar sistemas de ecuaciones lineares de n dimensiones

🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

A C++ header-only library for vector, matrix, and quaternion math.

Demystify AI concepts: hand-solved problems translated into code for clarity.

This is a very efficient matrix multiplication calculator built using Java and its concurrency libraries. It can be used to multiply matrices populated using a random seed, but it can also be modified to use predefined values. The difference in efficiency using 1 thread can be compared to using more threads.

A software library containing BLAS functions written in OpenGL fragment shaders