MurageKibicho / Quasi-Quantum-AssemblyLinks
The Quasi Quantum Assembly Programming Language
☆36Updated 2 months ago
Alternatives and similar repositories for Quasi-Quantum-Assembly
Users that are interested in Quasi-Quantum-Assembly are comparing it to the libraries listed below
Sorting:
- Tensor library & inference framework for machine learning☆117Updated 3 months ago
- tiny code to access tenstorrent blackhole☆61Updated 8 months ago
- A massively parallel, optimal functional runtime in Rust☆31Updated last year
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆125Updated 9 months ago
- a categorical deep learning compiler☆207Updated 4 months ago
- asynchronous/distributed speculative evaluation for llama3☆39Updated last year
- Train neural networks that distill into logic circuits, using JAX☆64Updated 7 months ago
- High-Performance FP32 GEMM on CUDA devices☆117Updated last year
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- CUDA-L2: Surpassing cuBLAS Performance for Matrix Multiplication through Reinforcement Learning☆383Updated 3 weeks ago
- One File Tensor Libraries☆31Updated 3 months ago
- Custom PTX Instruction Benchmark☆138Updated 11 months ago
- A collection of optimization problems in mathematics☆77Updated this week
- A probabilistic approximate DNF counter☆39Updated last month
- Ultra low overhead NVIDIA GPU telemetry plugin for telegraf with memory temperature readings.☆63Updated last year
- ☆110Updated last year
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆90Updated last month
- Because it's there.☆16Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Samples of good AI generated CUDA kernels☆99Updated 7 months ago
- SIMD quantization kernels☆94Updated 4 months ago
- RDNA3 emulator☆55Updated 9 months ago
- PDLP algorithm for linear programming☆89Updated 3 weeks ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 5 months ago
- Learning about CUDA by writing PTX code.☆151Updated last year
- ☆43Updated 2 weeks ago
- Tensor library with autograd using only Rust's standard library☆71Updated last year
- GPU-accelerated compiler☆367Updated last year
- A tiny autograd engine with a Jax-like API☆74Updated 6 months ago
- ☆34Updated this week