Stars
Quantize transformers to any learned arbitrary 4-bit numeric format
A floating point arithmetic which works with types of any mantissa, exponent or base in modern header-only C++.
terrelln / dietgpu
Forked from facebookresearch/dietgpuGPU implementation of a fast generalized ANS (asymmetric numeral system) entropy encoder and decoder, with extensions for lossless compression of numerical and other data types in HPC/ML applications.
CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups
GPU-based Distributed Point Functions (DPF) and 2-server private information retrieval (PIR).
Repository for nvCOMP docs and examples. nvCOMP is a library for fast lossless compression/decompression on the GPU that can be downloaded from https://developer.nvidia.com/nvcomp.
The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.
Optimize floating-point expressions for accuracy
A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
GPU implementation of a fast generalized ANS (asymmetric numeral system) entropy encoder and decoder, with extensions for lossless compression of numerical and other data types in HPC/ML applications.
A 16bit logarithmic fixed-point number format
A 32-bit RISC-V Processor Designed with High-Level Synthesis
The compiler is available for download. Get it!
A programming language to skip the things you have already computed
Simple C simulation of Jeff Johnson's linear-logarithmic arithmetic
An exploration of log domain "alternative floating point" for hardware ML/AI accelerators.
A modular framework for vision & language multimodal research from Facebook AI Research (FAIR)
Tensors and Dynamic neural networks in Python with strong GPU acceleration
A domain specific language to express machine learning workloads.
Collective communications library with various primitives for multi-machine training.
Caffe2 is a lightweight, modular, and scalable deep learning framework.
A library for efficient similarity search and clustering of dense vectors.