LeetArxiv / Finite-Field-AssemblyLinks
The Finite Field Assembly Programming Language
☆36Updated last month
Alternatives and similar repositories for Finite-Field-Assembly
Users that are interested in Finite-Field-Assembly are comparing it to the libraries listed below
Sorting:
- a categorical deep learning compiler☆203Updated 4 months ago
- asynchronous/distributed speculative evaluation for llama3☆39Updated 11 months ago
- tiny code to access tenstorrent blackhole☆55Updated last month
- Train neural networks that distill into logic circuits, using JAX☆62Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated last week
- Can I make an *optimizing* compiler under 1k lines of code?☆60Updated 4 months ago
- A tiny autograd engine with a Jax-like API☆68Updated last week
- A massively parallel, optimal functional runtime in Rust☆31Updated 11 months ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆126Updated 2 months ago
- 8-bit computational substrates☆42Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆27Updated 2 years ago
- Learning about CUDA by writing PTX code.☆133Updated last year
- Editor with LLM generation tree exploration☆71Updated 5 months ago
- Custom PTX Instruction Benchmark☆126Updated 4 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 11 months ago
- RDNA3 emulator☆54Updated 2 months ago
- Tensor library & inference framework for machine learning☆101Updated last week
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- parallelized hyperdimensional tictactoe☆118Updated 10 months ago
- Samples of good AI generated CUDA kernels☆84Updated last month
- High-Performance SGEMM on CUDA devices☆97Updated 5 months ago
- A Low Barrier Proof Assistant☆114Updated this week
- Ultra low overhead NVIDIA GPU telemetry plugin for telegraf with memory temperature readings.☆62Updated last year
- ☆30Updated 6 months ago
- ☆47Updated last week
- Training GPTs to solve interaction nets☆17Updated 11 months ago
- An implementation of delta-iris in tinygrad☆72Updated 10 months ago
- Matrix multiplication schemes☆194Updated 2 months ago
- Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator☆211Updated last year
- A fork of llama3.c used to do some R&D on inferencing☆22Updated 6 months ago